HN
Hacker News
Top
New
Best
Ask
Show
Jobs
aseg
163 karma · joined November 9, 2022
Postdoc @ Caltech working on AI things. Reach out at atharvas.github.io
submissions
comments
Formalizing Julia in Lean
discourse.julialang.org
·
1 pts
·
aseg
·
0
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