HN
New
Show
Ask
Jobs
Built with Astro + Solid
TwIL-LM3-Pro: 3.6B formal-logic model that beats VibeThinker-3B
(huggingface.co)
5 points | by
CD_webai
6 hours ago ago
1 comments
$thepered0x
5 hours ago
exciting times for SLMs. nice one.
exciting times for SLMs. nice one.