Stat this year

The 3rd AI for Math Workshop by the numbers, with year-over-year comparisons.

Paper Submissions

346 Submissions 101% increase from 2025
210 Accepted Papers 2 oral · 8 spotlight · 200 poster
66.7% Acceptance Rate On par with last year
7 Paper Awards 2 best paper · 5 honorable mention

Across the three editions

2024 2025 2026
Submissions
30
172
346
+101%
Accepted
20
112
210
+88%
Acceptance rate
67%
68%
66.7%
held steady

2024 figures are estimated: 30 submissions follows from the 473% year-over-year growth the 2nd edition reported, with about 20 accepted at a similar rate. Submissions grew 30 → 172 → 346, more than doubling each year, while the acceptance rate held around 67%. Deltas shown are the 2025 to 2026 change.

Made possible by our program committee
6Program Chairssame as 2025
42Area Chairs2025: 26
355Reviewers2025: 358

Challenge

Four competition tracks this year, our largest challenge program to date: 567 participants and 2,352 submissions.

Challenge 1 FormalRx
165participants
787submissions
Challenge 2 TCS Proving
146participants
212submissions
Challenge 3 SeePhys Pro
139participants
867submissions
Challenge 4 ShadowBench
117participants
486submissions

Participation across years

Participants Submissions
2024
Autoformalization
34
173
Auto-Informalization
28
122
Theorem Generation
45
416
Operations Research
77
784
2025
APE-Bench I
10
37
SeePhys
128
427
2026
FormalRx
165
787
TCS Proving
146
212
SeePhys Pro
139
867
ShadowBench
117
486
02505007501000