user: aseg
163 karma | created 3 years ago
recent submissions
1 month ago|discuss
4 months ago|discuss
4 months ago|discuss
4 months ago|discuss
7 months ago|discuss
9 months ago|discuss
9 months ago|discuss
9 months ago|discuss
10 months ago|discuss
1 year ago|discuss
LeanDojo: Theorem Proving in Lean Using LLMs
(leandojo.org)
170 pts|1 year ago|53 comments
LeanDojo: Theorem Proving in Lean Using LLMs
(leandojo.org)
2 pts|2 years ago|discuss
Gradient Hacking
(lesswrong.com)
2 pts|3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss