conftrace_

theorem application

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) physics reasoning (1) solution step (1) knowledge-based problem (1) multi-step reasoning (1) reasoning benchmark (1) reasoning evaluation (1) instruction tuning (1) theorem proving (1) mathematical reasoning (1)

Papers

Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models AAAI 2025 PhysReason: A Comprehensive Benchmark towards Physics-Based Reasoning ACL 2025