namin 741 karma 18y 7m on HN HN profile →
Coverage
We've seen 1 of ~116 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 1
1 stories
1. Show HN: Lemmafit: A Verifier in the AI Loop (github.com)
5 points by namin 2 days ago | 5 comments | skipped