Reliable Use of Lemmas via Eligibility Reasoning and Section−Aware Reinforcement Learning

Published in arXiv, 2026