Papers With

Publication statistics · 635 papers · updated 2026-08-13

Papers per month

13

15

11

8

16

11

13

9

17

25

20

16

21

28

46

67

63

84

101

51

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

Jul 26

Aug 26

2025 2026

635papers indexed

101busiest month (Jul 2026)

415with code repo

Top topics

formalization316

verification194

theorem-proving-ml190

benchmark113

ai-agents108

mathlib98

autoformalization96

combinatorics84

tooling71

logic70

number-theory52

dataset49

algebra45

analysis41

ml-theory31