1
TrueMath – An open-source exact symbolic math tool
开源符号数学工具，支持精确计算与恒等式探索，适合科研与教学场景。
I recently built TrueMath, an open-source tool for exact symbolic math and generative identity exploration. https://github.com/Sajidsaj/True-Math/rele…
2
ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
新基准ASyMOB用3.5万道符号数学题区分LLM的推理与模式记忆，直击大模型数学能力评估痛点。
arXiv:2505.23851v2 Announce Type: replace-cross Abstract: Large language models (LLMs) are increasingly applied to symbolic mathematics, yet existing …