Diagnosing Sampled LLM Reasoning in Formal Geometry: Coverage, Realization, and Validity Evidence
cs.AI
Submitted: 2026-09-26
Updated: 2026-09-26
Terminology
Sources
- Large Language Monkeys: Scaling Inference Compute with Repeated Sampling
- Training Verifiers to Solve Math Word Problems
- ROC-n-reroll: How verifier imperfection affects test-time scaling
- The Llama 3 Herd of Models
- Budget-aware Test-time Scaling via Discriminative Verification
- Autoformalizing Euclidean Geometry
- Learning to Reason Across Parallel Samples for LLM Reasoning
- Shrinking the Generation-Verification Gap with Weak Verifiers
- Heimdall: test-time scaling on the generative verification
- Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry
- Solving math word problems with process- and outcome-based feedback
- Self-Consistency Improves Chain of Thought Reasoning in Language Models
- Qwen3 Technical Report
- Qwen2.5 Technical Report
- FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
- FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
Related papers
- MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
- The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
- MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
- Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems
- VSAL: A Vision Solver with Adaptive Layouts for Graph Property Detection