We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified Itgithub.com·9 pts·katosteven·8