@misc{indiciae0a86f3bc51d9,
  title = {Reliable Use of Lemmas via Eligibility Reasoning and Section\$-\$Aware Reinforcement Learning},
  author = {Zhikun Xu and Xiaodong Yu and Ben Zhou and Jiang Liu and Jialian Wu and Ze Wang and Ximeng Sun and Hao Chen and Zicheng Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2602.00998},
  note = {Source identifier: 2602.00998}
}