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