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

(huggingface.co)

5 points | by CD_webai 7 hours ago

1 comments