rck
- Karma
- 1,355
- Created
- 14 years ago
About
I'm into robotics and machine learning.Recent Submissions
- 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. ▲ Show HN: Easily generate text and compute probabilities for any Hugging Face LLM (github.com)
- 5. ▲ Building a Local LLM Agent with Speech Recognition and TTS Support (richardkelley.io)
- 6. ▲ Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees (github.com)