AINewsnow

TwIL-LM3, 3B formal reasoning specialist that runs on a Raspberry Pi, tested against gpt-oss-120b

This story is from 2026-08-21. It is preserved in the archive; the latest stories are on the live feed.

Been running TwIL-LM3 from webAI on modest hardware to see how it holds up. 3B formal reasoning specialist. On their formal reasoning benchmark it comes out ahead of gpt-oss-120b on 4 of 5 tasks: rule induction, semantic parsing, entailment labeling, exact-format answering. On the loose-match aggre…

Read the full story at r/deeplearning ↗

Timeline · 1 report

  1. 2026-08-21 16:50 · r/deeplearning
    TwIL-LM3, 3B formal reasoning specialist that runs on a Raspberry Pi, tested against gpt-oss-120b

More stories

  1. Introducing Astra for Law — OpenAI News
  2. Sources: Anthropic considers releasing a new AI model to counter OpenAI's momentum since Astra's launch, ahead of an IPO and after Amodei's call for a slowdown (Reuters) — Techmeme
  3. Meet the Data Agent in ChatGPT Work — OpenAI YouTube
  4. OpenAI discloses six new safety incidents — Axios AI+
  5. Microsoft exec called AI scraping the “largest theft of labor in human history” — Ars Technica AI
  6. Ai agent template — r/ArtificialInteligence
  7. Meta's personal AI agent Muse climbs to No. 1 among free apps on Apple's US App Store, ahead of ChatGPT; Muse launched on September 8 (Georgia Hennessy/Business Insider) — Techmeme
  8. OpenAI staff knew the ‘existential threat’ AI posed to publishers, New York Times claims — Financial Times AI

Get the daily brief of stories like this at 6:30 every morning →