Dsxir.Optimizer.MIPROv2.Proposer.ProgramSummarizer (dsxir v0.3.0)

Copy Markdown

Asks the proposer LM to summarize a user program — its predictor names, signatures, and current instructions — in a few sentences.

One LM call. The resulting summary feeds the grounded proposer alongside the dataset summary.

Summary

Functions

run(decls, arg)

Render a textual digest of the predictor declarations and ask lm_module (with lm_config) to summarize it. Accepts a list of %PredictorDecl{} — callers obtain it via Dsxir.Program.Source.predictors/1. Returns {:ok, summary} on success and {:error, exception} when the LM impl reports an error.

Functions

run(decls, arg)

@spec run(
  [Dsxir.Program.PredictorDecl.t()],
  {module(), keyword()}
) :: {:ok, String.t()} | {:error, term()}

Render a textual digest of the predictor declarations and ask lm_module (with lm_config) to summarize it. Accepts a list of %PredictorDecl{} — callers obtain it via Dsxir.Program.Source.predictors/1. Returns {:ok, summary} on success and {:error, exception} when the LM impl reports an error.