HN
Hacker News
Top
New
Best
Ask
Show
Jobs
aseg
163 karma · joined November 9, 2022
Postdoc @ Caltech working on self-evolving agents for scientific discovery. Reach out at atharvas.github.io
submissions
comments
LeanDojo: Theorem Proving in Lean Using LLMs
leandojo.org
·
170 pts
·
aseg
·
53
LeanDojo: Theorem Proving in Lean Using LLMs
leandojo.org
·
2 pts
·
aseg
·
0
Gradient Hacking
lesswrong.com
·
2 pts
·
aseg
·
0