| user: | rck |
| created: | August 28, 2011 |
| karma: | 1.4k |
| about: | I'm into robotics and machine learning. |
| 1. | Verified dynamic programming with Σ-types in Lean(tannerduve.github.io) |
| 2. | It's Not What You Think: LLMs Like Obvious Answers(lemmata.substack.com) |
| 3. | Functional Programming and Theorem Proving in Lean 4(web.stanford.edu) |
| 4. |