Press Release webAI Releases TwiL-LM, a Family of Formal-Logic Models That Outreason a 120B Model and Run on an iPhone 2 hours ago