Formal reasoning and program synthesis
A research field
Formal reasoning and program synthesis is losing ground in AI research: 1.2% to 1.1% of new AI papers, -0.1 points. It ranks #29 of 44 by gain in share. As of Oct 10, 2026.
- Change in share
- -0.1 pts
- Share, last 3 months
- 1.1%
- Papers, last 3 months
- 366
- Ready for products
- 2.1 / 5
Ideas in this field
Formal verification0.1% → 0.2%+0.0 ptsProgram synthesis0.2% → 0.2%+0.0 ptsDomain specific language0.0% → 0.0%0.0 ptsMultimodal code generation0.0% → 0.0%0.0 ptsRuntime verification0.0% → 0.0%0.0 ptsNeural network verification0.0% → 0.0%0.0 ptsText to sql0.0% → 0.0%0.0 ptsAgentic code generation0.0% → 0.0%0.0 ptsStatic analysis0.0% → 0.0%0.0 ptsCode generation0.0% → 0.0%0.0 pts
Formal reasoning and program synthesis: quick answers
No. Its share of new AI papers went from 1.2% to 1.1%, with 366 papers in the last 3 months.