program synthesis
Program synthesis involves using AI techniques to automatically generate programs or code from high-level specifications. It aims to enable machines to produce executable code that meets desired functional requirements, often leveraging machine learning to infer the best solutions based on user inputs.
- CLEVER: A Curated Benchmark for Formally Verified Code Generation
- Factorio Learning Environment
- Matching Markets Meet LLMs: Algorithmic Reasoning with Ranked Preferences
- Once Upon an Input: Reasoning via Per-Instance Program Synthesis
- PoE-World: Compositional World Modeling with Products of Programmatic Experts
- Program Synthesis via Test-Time Transduction
- Searching Latent Program Spaces