Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningApr 15, 2025·Zenan Li,Zhaoyu Li,Wen Tang,Xian ZhangYuan Yao,Xujie Si,Fan Yang,Kaiyu Yang,Xiaoxing Ma· 0 min read Cite URLTypeConference paperPublicationThe Thirteenth International Conference on Learning RepresentationsLast updated on Apr 15, 2025AuthorsYuan YaoNanjing University School of Computer Science ← MeteoRA: Multiple-tasks Embedded LoRA for Large Language Models Apr 15, 2025SPA: 3D Spatial-Awareness Enables Effective Embodied Representation Apr 15, 2025 →
,,,,·
0 min read