Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
HypoSpace: A Diagnostic Benchmark for Set-Valued Hypothesis Generation under Underdetermination and Sublinear Coverage Bounds
Tingting Chen, Beibei Lin, Zifeng Yuan +5
Many scientific problems are underdetermined: multiple distinct hypotheses are equally consistent with the same observations. In such settings, effective inference requires not onl…
cs.CL2026
TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling
Ziyang Fang, JinXi Wang, Jinghui Zhong +1
Optimization modeling serves as the pivotal bridge between natural-language problem descriptions and optimization solvers, and remains a cornerstone for bringing operations researc…