HN Explorer
↵
Trending
Stats
☾
katosteven
↗ HN profile
[
1776 ms
]
full profile
Karma
0
Created
()
Submissions
0
Submissions
1
Comments
1
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
(github.com)
9
points
11mo ago
3