| user: | aseg |
| created: | November 9, 2022 |
| karma: | 163 |
| about: | Postdoc @ Caltech working on self-evolving agents for scientific discovery. Reach out at atharvas.github.io |
| 1. | 35 days ago | discuss |
| 2. | LeanDojo: Theorem Proving in Lean Using LLMs(leandojo.org) |
| 3. | LeanDojo: Theorem Proving in Lean Using LLMs(leandojo.org) |
| 4. | Gradient Hacking(lesswrong.com) |