Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
aseg | Dark Hacker News
user:
aseg
created:
November 9, 2022
karma:
163
about:
Reach out at atharvas.github.io
submissions
comments
1.
LeanDojo: Theorem Proving in Lean Using LLMs
(leandojo.org)
170 points
by
aseg
1 year ago
|
53 comments
2.
LeanDojo: Theorem Proving in Lean Using LLMs
(leandojo.org)
2 points
by
aseg
2 years ago
|
0 comments
3.
Gradient Hacking
(lesswrong.com)
2 points
by
aseg
3 years ago
|
0 comments