1Verified dynamic programming with Σ-types in Lean (opens in new tab)(tannerduve.github.io)86rck9mo ago43
2It's Not What You Think: LLMs Like Obvious Answers (opens in new tab)(lemmata.substack.com)3rck9mo ago0
3Functional Programming and Theorem Proving in Lean 4 (opens in new tab)(web.stanford.edu)6rck10mo ago0
4Show HN: Easily generate text and compute probabilities for any Hugging Face LLM (opens in new tab)(github.com)2rck1y ago0
