conftrace_

equational reasoning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic engine (1) variable-preserving equation (1) derivation depth (1) sound over-approximation (1) mathematical derivation (1) hallucination control (1) variable-preserving rule (1) large language model (1) fixed-parameter tractable (1) hallucination detection (1)

Papers

Controlling Equational Reasoning in Large Language Models with Prompt Interventions AAAI 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025