Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization
Chengxiao Dai, Zhaokun Yan, Zhanhui Lin
Headline type-correctness (TC\%) of LLM autoformalization has climbed from 53\% to 76\% in two years, yet this scalar conceals which errors each method resolves. We pro…
cs.CL2026
From Knowledge to Inference: Formalizing Specialized Public Health Reasoning on GlobalHealthAtlas
Zhaokun Yan, Shan Xu, Wuzheng Dong +10
Public health reasoning requires population level inference grounded in scientific evidence, expert consensus, and safety constraints. However, it remains underexplored as a struct…