5 papers
Automated Proof of Polynomial Inequalities via Reinforcement Learning
Banglong Liu, Niuniu Qi, Xia Zeng +2
Polynomial inequality proving is fundamental to many mathematical disciplines and finds wide applications in diverse fields. Current traditional algebraic methods are based on sear…
Sponsored Search Auction Design Beyond Single Utility Maximization
Changfeng Xu, Chao Peng, Chenyang Xu +1
Auction design for the modern advertising market has gained significant prominence in the field of game theory. With the recent rise of auto-bidding tools, an increasing number of…
A Context-Enhanced Framework for Sequential Graph Reasoning
Shuo Shi, Chao Peng, Chenyang Xu +1
The paper studies sequential reasoning over graph-structured data, which stands as a fundamental task in various trending fields like automated math problem solving and neural grap…
Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
Xuefeng Zhang, Liangyu Chen, Zhengfeng Yang +1
Cutting planes (cuts) are crucial for solving Mixed Integer Linear Programming (MILP) problems. Advanced MILP solvers typically rely on manually designed heuristic algorithms for c…
Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation
Lydia Dehbi, Zhengfeng Yang, Chao Peng +2
Algebraic curve interpolation is described by specifying the location of N points in the plane and constructing an algebraic curve of a function f that should pass through them. In…