4 papers
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…
LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
Min-Yi Zheng, Shengqi Zhang, Liancheng Wu +3
Partial differential equations (PDEs) encode fundamental physical laws, yet closed-form analytical solutions for many important equations remain unknown and typically require subst…
Discovering Mathematical Equations with Diffusion Language Model
Xiaoxu Han, Chengzhen Ning, Jinghui Zhong +3
Discovering valid and meaningful mathematical equations from observed data plays a crucial role in scientific discovery. While this task, symbolic regression, remains challenging d…
HGFF: A Deep Reinforcement Learning Framework for Lifetime Maximization in Wireless Sensor Networks
Xiaoxu Han, Xin Mu, Jinghui Zhong
Planning the movement of the sink to maximize the lifetime in wireless sensor networks is an essential problem of great research challenge and practical value. Many existing mobile…