<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>MIPROv2 on Programmer.ie</title>
    <link>http://programmer.ie/tags/miprov2/</link>
    <description>Recent content in MIPROv2 on Programmer.ie</description>
    <generator>Hugo</generator>
    <language>en-us</language>
    <lastBuildDate>Fri, 28 Aug 2026 10:55:00 +0100</lastBuildDate>
    <atom:link href="http://programmer.ie/tags/miprov2/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>DSPy From First Principles 12: Optimize the Instructions</title>
      <link>http://programmer.ie/books/dspy-from-first-principles/12-chapter/</link>
      <pubDate>Fri, 28 Aug 2026 10:55:00 +0100</pubDate>
      <guid>http://programmer.ie/books/dspy-from-first-principles/12-chapter/</guid>
      <description>&lt;h1 id=&#34;optimize-the-instructions&#34;&gt;Optimize the Instructions&lt;/h1&gt;&#xA;&lt;p&gt;Chapter 11 let the optimizer change predictor behavior through bootstrapped demonstrations. That changes the examples shown to the LM, but the predictor instructions remain mostly fixed.&lt;/p&gt;&#xA;&lt;p&gt;Now we expand the allowed mutation surface:&lt;/p&gt;&#xA;&lt;hr&gt;&#xA;&lt;h2 id=&#34;1-what-miprov2-searches&#34;&gt;1. What MIPROv2 searches&lt;/h2&gt;&#xA;&lt;p&gt;Current MIPROv2 builds candidate few-shot sets, proposes instruction candidates for predictors, and searches combinations against validation evidence. Its current implementation uses an Optuna-backed search over prompt parameters.&lt;/p&gt;&#xA;&lt;p&gt;Conceptually:&lt;/p&gt;&#xA;&lt;hr&gt;&#xA;&lt;h2 id=&#34;2-a-miprov2-compile-shape&#34;&gt;2. A MIPROv2 compile shape&lt;/h2&gt;&#xA;&lt;p&gt;Current docs show &lt;code&gt;MIPROv2(metric=..., auto=&amp;quot;light&amp;quot; | &amp;quot;medium&amp;quot; | &amp;quot;heavy&amp;quot;)&lt;/code&gt;. Its &lt;code&gt;compile&lt;/code&gt; method accepts &lt;code&gt;trainset&lt;/code&gt; and &lt;code&gt;valset&lt;/code&gt;; internally, the optimizer validates those datasets, builds an evaluator over the validation set, and searches prompt parameters against that development evidence.&lt;/p&gt;</description>
    </item>
  </channel>
</rss>
