G github.com We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It 9 points katosteven 1 year ago 8 comments
