Y Hacker News new | ask | show | jobs

user: aseg created: 2022-11-09 karma: 163 Reach out at atharvas.github.io submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments LeanDojo: Theorem Proving in Lean Using LLMs 170 points | 53 comments LeanDojo: Theorem Proving in Lean Using LLMs 2 points | 0 comments Gradient Hacking 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments