1105216375-alt/resimind

resimind の最新コミットは MiniF2F・LeanDojo の外部定理ベンチマーク境界を「実験」段階に引き下げ、まだ存在しないスコアと否定的な ChinaTravel の結果を文書に明記して公開した。

GitHub の説明: Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

スター

★ 294

フォーク

1

言語

Python

ライセンス

MIT

最新リリース

v0.16.0