aseg

Karma: 151
Created: 3 years ago

About

Reach out at atharvas.github.io

Recent Submissions

1. ▲ LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org) 170 points · 1 year ago · 53 comments
2. ▲ LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org) 2 points · 2 years ago · 0 comments
3. ▲ Gradient Hacking (lesswrong.com) 2 points · 3 years ago · 0 comments

All submissions on HN · View profile on HN