Hackernews
new
show
ask
jobs
TwIL-LM3-Pro: 3.6B formal-logic model that beats VibeThinker-3B
5 points
posted 6 hours ago
by CD_webai
(huggingface.co)
1 Comments
thepered0x
5 hours ago
exciting times for SLMs. nice one.