paper-with-me

홈 › Papers

Predicted Variables in Programming

2019-05-01 · ICLR 2019 5 · Victor Carbune, Thierry Coppey, Alexander Daryin, Thomas Deselaers, Nikhil Sarda, Jay Yagnik

We present Predicted Variables, an approach to making machine learning (ML) a first class citizen in programming languages. There is a growing divide in approaches to building systems: using human experts (e.g. programming) on the one hand, and using behavior learned from data (e.g. ML) on the other hand. PVars aim to make using ML in programming easier by hybridizing the two. We leverage the existing concept of variables and create a new type, a predicted variable. PVars are akin to native variables with one important distinction: PVars determine their value using ML when evaluated. We describe PVars and their interface, how they can be used in programming, and demonstrate the feasibility of our approach on three algorithmic problems: binary search, QuickSort, and caches. We show experimentally that PVars are able to improve over the commonly used heuristics and lead to a better performance than the original algorithms. As opposed to previous work applying ML to algorithmic problems, PVars have the advantage that they can be used within the existing frameworks and do not require the existing domain knowledge to be replaced. PVars allow for a seamless integration of ML into existing systems and algorithms. Our PVars implementation currently relies on standard Reinforcement Learning (RL) methods. To learn faster, PVars use the heuristic function, which they are replacing, as an initial function. We show that PVars quickly pick up the behavior of the initial function and then improve performance beyond that without ever performing substantially worse -- allowing for a safe deployment in critical applications.

📄 PDF Abstract BibTeX

Code (0)

등록된 구현이 없습니다.

Tasks

Reinforcement LearningReinforcement Learning (RL)

Similar Papers 제목 키워드 기반

Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming

2025-03-03 · Haoyang Liu, Jie Wang, Zijie Geng, Xijun Li 외

Leveraging machine learning (ML) to predict an initial solution for mixed-integer linear programming (MILP) has gained considerable popularity in recent years. These methods predict a solution and fix a subset of variabl…

Towards Solving Polynomial-Objective Integer Programming with Hypergraph Neural Networks

2026-03-16 · Minshuo Li, Yaoxin Wu, Pavel Troubil, Yingqian Zhang 외 arxiv

Complex real-world optimization problems often involve both discrete decisions and nonlinear relationships between variables. Many such problems can be modeled as polynomial-objective integer programs, encompassing cases…

Nested Aggregates in Answer Sets: An Application to a Priori Optimization

2013-04-05 · Emad Saad

We allow representing and reasoning in the presence of nested multiple aggregates over multiple variables and nested multiple aggregates over functions involving multiple variables in answer sets, precisely, in answer se…

Traveling Salesman Problem

Enhancing Constraint Programming via Supervised Learning for Job Shop Scheduling

2022-11-26 · Yuan Sun, Su Nguyen, Dhananjay Thiruvady, XiaoDong Li 외

Constraint programming (CP) is a powerful technique for solving constraint satisfaction and optimization problems. In CP solvers, the variable ordering strategy used to select which variable to explore first in the solvi…

Job Shop SchedulingScheduling

Predicting Friction System Performance with Symbolic Regression and Genetic Programming with Factor Variables

2021-07-19 · Gabriel Kronberger, Michael Kommenda, Andreas Promberger, Falk Nickel

Friction systems are mechanical systems wherein friction is used for force transmission (e.g. mechanical braking systems or automatic gearboxes). For finding optimal and safe design parameters, engineers have to predict …

FrictionregressionSymbolic Regression