Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It (github.com/dkypuros)
9 points by katosteven 8 months ago | past | 8 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: