Settings

Theme

aseg

Karma
163
Created
3 years ago

About

Postdoc @ Caltech working on self-evolving agents for scientific discovery. Reach out at atharvas.github.io

Recent Submissions

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

All submissions on HN · View profile on HN

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection