Paper page - FrontierSmith: Synthesizing Open-Ended Coding Problems at Scale
…Parallel Reasoning via Bradley--Terry Aggregation (2026) ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis (2026) Marco DeepResearch: Unlocking Efficient Deep Research Agents via Verification-Centric Design (2026) Verifier…