J. Fang, B. Zhang, C. Wang, J. Wan, and Z. Xu, “Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs”, AAAI, vol. 40, no. 36, pp. 30665-30672, Mar. 2026.