AI Coding

I build coding agents and research program synthesis, making computers write code.

Research

• programsynthesis.pub - My research on program synthesis and code generation
• Study-Reinforcement-Learning - 432 curated RL papers (150+ stars)

Current Focus

I’m working on AI coding tools and agents. Research background in program synthesis (the Church-Turing angle on making computers write code) now applied to practical LLM-based coding.

• CodingAgents.Dev — Link aggregator and community for coding agents
• Erdős Navigator — Agent toolkit for theorem proving
• AgenticEngineer.ING — Interactive lessons for working with coding agents

Writing

Technical posts on yad.codes.