2 papers
cs.CL2026
MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize
Jiaxin Yuan, Connor Martinez Lockhart, Xiaoyu Liu +11
Formal theorem proving enables machine-verifiable evaluation of mathematical reasoning, yet existing benchmarks often emphasize aggregate proof accuracy, concentrate on a narrow ra…
cs.LG2026
NeSy-CSA: A Neuro-Symbolic Framework for Open-Ended Critical Scenario Attribution
Qitong Chu, Xunjie He, Chen Deng +2
Understanding why discovered scenarios become critical in scenario-based testing is essential for effectively leveraging them in decision-making systems. Reasoning about such criti…