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