Skip to content

Top New Best Ask Show Jobs

aseg | Better HN

aseg

163 karmaJoined November 9, 202217 submissions

Reach out at atharvas.github.io

Recent submissions

1

LeanDojo: Theorem Proving in Lean Using LLMs (opens in new tab)

(leandojo.org)

170aseg1y ago53

2

LeanDojo: Theorem Proving in Lean Using LLMs (opens in new tab)

(leandojo.org)

2aseg2y ago0

3

Gradient Hacking (opens in new tab)

(lesswrong.com)

2aseg3y ago0