TGViewer
For Developers For Developers @fordevelopers · 196 subscribers
Post #2264 139
#arc_agi #agi
Less is More: Recursive Reasoning with Tiny Networks
https://arxiv.org/abs/2510.04871v1

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean

https://arxiv.org/abs/2509.14274
arXiv.org Less is More: Recursive Reasoning with Tiny Networks Hierarchical Reasoning Model (HRM) is a novel approach using two small neural networks recursing at different frequencies. This biologically inspired method beats Large Language models (LLMs) on...
Open in Telegram All posts from @fordevelopers
More from @fordevelopers
  1. Sep 23, 2026https://www.youtube.com/watch?v=z5Xix4h5UlU
  2. Sep 9, 2026https://www.wsj.com/tech/ai/openai-millennium-prize-navier-stokes-math-2bf240f8
  3. Aug 7, 2026#llm #vlm #rl #risk_management #abstention CAP: Conformalized Abstention Policies for Cont…
  4. Jul 21, 2026#survival_rl Survival Reinforcement Learning: Toward Scalable Self-Supervised RL https://a…
  5. Jul 15, 2026https://x.com/peterwildeford/status/2076391896033980486 #forecast #acx #prediction #contes…
  6. Apr 25, 2026#edl #llm #ood Uncertainty Calibration in Deep Learning: Methods, Emerging Challenges, and…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →