We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified Itgithub.com/dkypuros9 pointskatostevena year ago