Hacker News
new
top
best
ask
show
job
TwIL-LM3-Pro: 3.6B formal-logic model that beats VibeThinker-3B
(
huggingface.co
)
5 points
by
CD_webai
5 hours ago
1 comment
thepered0x
4 hours ago
exciting times for SLMs. nice one.