conftrace_

symbolic engine

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

geometry solver (1) mathematical derivation (1) hallucination control (1) generalization failure (1) equational reasoning (1) transformer model (1) large language model (1) fine-tuned model (1) search tree (1) hallucination detection (1)

Papers

Controlling Equational Reasoning in Large Language Models with Prompt Interventions AAAI 2025 Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025 A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers NAACL 2024