APA (7th ed.) Citation

Xu, S., Zhang, J., Lai, J., Cao, C., & Xu, J. (2026). Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving.

Chicago Style (17th ed.) Citation

Xu, Shuo, Jiakun Zhang, Junyu Lai, Chun Cao, and Jingwei Xu. Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving. 2026.

MLA (9th ed.) Citation

Xu, Shuo, et al. Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving. 2026.