conftrace_

geometry solver

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic engine (1) search tree (1) synthetic data (1) language model (1) synthetic data generation (1) automated reasoning (1) language modeling (1) theorem proving (1) symbolic reasoning (1)

Papers

Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025