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, 10 months
  • Last seen this week
Profile Activity
Stats
921
reputation
3k
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.
5
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
question
26
Successes of machine learning in formal theorem proving
Feb 10, 2022
answer
18
Non-trivial difference(s) between Computer Algebra System and Proof Assistant
Feb 8, 2022
question
14
Algorithms obtained through constructive formalization
Mar 19, 2022
question
13
Exotic natural language summaries of formal proofs
Feb 8, 2022
answer
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
226
A game on Noetherian rings
130
5/8 bound in group theory
108
"The Egg:" Bizarre behavior of the roots of a family of polynomials.
80
Fibonacci series captures Euler $e=2.718\dots$
79
Why is differential Galois theory not widely used?