We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It | Heykuki News