2 papers
cs.SE2026
Type-Aware Retrieval-Augmented Generation with Dependency Closure for Solver-Executable Industrial Optimization Modeling
Y. Zhong, R. Huang, M. Wang +4
Automated industrial optimization modeling requires reliable translation of natural-language requirements into solver-executable code. However, large language models often generate…
nucl-ex2025
Comprehensive Measurement of the Reactor Antineutrino Spectrum and Flux at Daya Bay
F. P. An, W. D. Bai, A. B. Balantekin +196
This Letter reports the precise measurement of reactor antineutrino spectrum and flux based on the full data set of 4.7 million inverse-beta-decay (IBD) candidates collected at Day…