Program synthesis
Program synthesis is gaining ground in AI research: 0.2% to 0.2% of new AI papers, +0.0 points. It ranks #111 of 214 by gain in share. As of Oct 10, 2026.
- Change in share
- +0.0 pts
- Share, last 3 months
- 0.2%
- Papers, last 3 months
- 58
- Ready for products
- 2.2 / 5
More in Formal reasoning and program synthesis
Formal verification0.1% → 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 ptsAnswer set programming0.0% → 0.0%0.0 pts
Program synthesis: quick answers
Yes. Its share of new AI papers went from 0.2% to 0.2%, with 58 papers in the last 3 months.