Program Synthesis Research
activeResearch site on making computers write code. Tracking formal methods, neural approaches, and LLMs.
Research Program Synthesis LLMs Formal 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! 🌱