HRM 是开源模型领域的开源项目,由 sapientinc 开发,2025 年首次发布。
在全站 13,014 个收录项目中,它的 GitHub 星标数(12,643)位列前 4%,在开源模型分类的 422 个项目里位列前 5%。
近 41 天,它的 GitHub 星标从 12,613 增加到 12,643,净增 30。
项目已超过三个月没有代码更新,维护节奏明显放缓,最近一次代码更新于 2026-09-22。Apache-2.0许可证,可免费使用和部署。
它主要面向的使用场景是:数学定理自动证明。同类可对比的替代方案包括 Chain-of-Thought (CoT)、Tree of Thoughts (ToT)、Self-Consistency。




