Papers With

Publication statistics · 478 papers · updated 2026-06-29

Papers per month

13

15

11

8

16

11

13

9

17

25

20

16

21

28

46

67

63

79

Jan 25

Feb 25

Mar 25

Apr 25

May 25

Jun 25

Jul 25

Aug 25

Sep 25

Oct 25

Nov 25

Dec 25

Jan 26

Feb 26

Mar 26

Apr 26

May 26

Jun 26

2025 2026

478papers indexed

79busiest month (Jun 2026)

313with code repo

Top topics

formalization210

theorem-proving-ml167

verification130

benchmark100

mathlib84

autoformalization83

ai-agents77

tooling58

combinatorics53

dataset49

logic46

algebra35

number-theory31

analysis26

ml-theory25