TopNewBestAskShowJobs
1.
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It (github.com/dkypuros)
9 points
katosteven
10 months ago
8 comments