Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by katosteven
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
9 points
katosteven
2025-07-22T10:11:36Z
github.com