Official demo of the TwIL-LM3-Pro logic reasoner
Official demo of TwIL-LM3, a 3B formal-logic reasoner
3B formal-logic reasoning model with a thinking trace