1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2026
Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
Haoyang Liu, Jie Wang, Boxuan Niu +8
Building mathematical optimization models is critical in operations research (OR), while it requires substantial human expertise. Recent advancements have utilized large language m…
cs.SC2025
Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
Kuang Yufei, Wang Jie, Huang Haotong +5
Symbolic regression (SR) -- which learns symbolic equations to describe the underlying relation from input-output pairs -- is widely used for scientific discovery. However, a rich…
cs.LG2023★ 1 cited
State Sequences Prediction via Fourier Transform for Representation Learning
Mingxuan Ye, Yufei Kuang, Jie Wang +4
While deep reinforcement learning (RL) has been demonstrated effective in solving complex control tasks, sample efficiency remains a key challenge due to the large amounts of data…