program synthesis

2 items

RESEARCH↑ trendingReddit r/MachineLearning·5/7/2026

META Superintelligence Lab Presents: ProgramBench: Can SOTA AI Recreate Real Executable Programs(ffmpeg, SQLite, ripgrep) From Scratch Without The Internet?

Das Meta Superintelligence Lab stellt ProgramBench vor, eine Initiative, die die Fähigkeit fortschrittlicher KIs testet, ausführbare Programme wie ffmpeg und SQLite von Grund auf neu zu erstellen, ohne Internetzugang. Diese Studie zielt darauf ab, die Grenzen der KI-Codegenerierung zu erforschen. Die Forschung konzentriert sich auf die Bewertung der Autonomie und Vollständigkeit von KI-Modellen bei der komplexen Softwaresynthese.

program synthesis code generation Benchmarks AI programming

RESEARCHarXiv CS.CL·5/8/2026

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis

ReaComp kompiliert LLM-Argumentation in symbolische Programmsynthesizer, um die Ineffizienz und Unzuverlässigkeit von LLMs bei schwierigen Programmsyntheseaufgaben zu überwinden. Diese eigenständigen Löser erreichen eine höhere Genauigkeit und Effizienz als LLMs und verbessern neuro-symbolische Hybridsysteme, während sie den Token-Verbrauch erheblich reduzieren.

program synthesis LLMs Symbolic AI AI Efficiency