Program Synthesis Research
activeResearch site on making computers write code. Tracking formal methods, neural approaches, and LLMs.
ResearchProgram SynthesisLLMsFormal Methods
Research site on making computers write code. Tracking formal methods, neural approaches, and LLMs.
New notes as they sprout — no spam, unsubscribe anytime.
You're in! 🌱