program-synthesis

Here are 5 public repositories matching this topic...

DuHeng0128 / Code-to-Everything

A literature survey of coding agents beyond software: visual reasoning, content creation, robotics, world models, formal proofs, and scientific discovery, with method comparisons and experimental analysis.

theorem-proving program-synthesis survey multimodal world-models paper-list tool-use scientific-discovery llm-agents coding-agents embodeid-ai computer-use

Updated Sep 28, 2026
TeX

Cmouzouni / verifier-is-all-you-need

Star

The Verifier Is All You Need: Six Architectural Interventions That Don't Matter and the Verification Boundary That Does

program-synthesis research-paper aime humaneval cost-efficiency falsification llm-reasoning arc-agi inference-time-compute multi-agent-llm symbolic-verification verification-boundary

Updated Apr 17, 2026
TeX

prashantpandey-creator / vyasa-breadth-first-compiler

Star

The Puranic Architecture for High-Intelligence Small Language Models — Mapping ancient cognitive models to modern LLM design principles. Preprint, June 2026.

compiler program-synthesis knowledge-graph code-generation research-paper ai-agents llm