conftrace_

olympiad inequality

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

mathematical proof (1) large language model (1) neuro-symbolic computing (1) proof search (1) symbolic reasoning (1)

Papers

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning ICLR 2025