Skip to main content
Proof Assistants Beta
Will Sawin's user avatar
Will Sawin's user avatar
Will Sawin's user avatar
Will Sawin
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
901
reputation
2k
reached
2
answers
3
questions
Communities
View all
About

I am a professor at Princeton University.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
17
bronze badges
Top tags
View all tags
18
Score
1
Posts
20
Posts %
11
Score
3
Posts
60
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
24
Successes of machine learning in formal theorem proving
Feb 10, 2022
18
Non-trivial difference(s) between Computer Algebra System and Proof Assistant
Feb 8, 2022
14
Algorithms obtained through constructive formalization
Mar 19, 2022
13
Exotic natural language summaries of formal proofs
Feb 8, 2022
11
Impact of "Formalizing 100 Theorems" and what is next
Feb 13, 2022
Top Meta posts
0
1
5
Are SE "power users" trying to seed the site with "interesting questions"?
Top network posts
View all network posts
223
A game on Noetherian rings
129
5/8 bound in group theory
108
"The Egg:" Bizarre behavior of the roots of a family of polynomials.
79
Fibonacci series captures Euler $e=2.718\dots$
77
Why is differential Galois theory not widely used?