TwIL-LM3-Pro: 3.6B formal-logic model that beats VibeThinker-3B

 (huggingface.co)

5 points | by CD_webai 1 hour ago

0 comments