FORCE: A Benchmark for Formula Reasoning and Comprehension in Academic Papers

Huikang Hu, Tianhao Zhang, Xinbang Dai, Xiaoli Shen, Guilin Qi, Yuyang Zhang, Xiaoguang Li, Lifeng Shang. FORCE: A Benchmark for Formula Reasoning and Comprehension in Academic Papers. In Hyungsoo Jung, Tianzheng Wang, Masashi Toyoda, Hyuk-Yoon Kwon, Jae Woong Lee, editors, Database Systems for Advanced Applications - 31st International Conference, DASFAA 2026, Jeju, South Korea, April 27-30, 2026, Proceedings, Part VI. Volume 16540 of Lecture Notes in Computer Science, pages 475-486, Springer, 2026. [doi]

Abstract

Abstract is missing.