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