dkypuros/atomic-lang-model
9 best points · 8 comments · 1 Hacker News post · 46 GitHub stars · View on GitHub
Hacker News discussions
- We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It (9 points, 8 comments, by katosteven, 2025-07-22)