Generates long programs from inputs, optimizing multiple tasks.
problem Creating long programs from input-output pairs.
method Trains a neural network to map state and outputs to next program statement, optimizing multiple tasks concurrently.
result Creates programs twice as long as existing solutions, improving success rate and runtime.
We propose a new method (implemented in an R-program) to simulate long-range daily stock-price data. The program reproduces various stylized facts much better than various parametric models from the extended GARCH-family. In particular, the empirically observed changes in unconditional variance are truthfully mirrored …
Kernel method estimates long-term effects from short-term data.
problem Estimating long-term effects from short-term data in continuous actions.
method Kernel ridge regression to embed and extrapolate long-term effects.
result Uniform consistency and nonasymptotic error bounds for the estimator.
The paper tackles long-term treatment effects with persistent confounders using sequential short-term outcomes.
problem Estimating long-term treatment effects with persistent unmeasured confounders.
method Exploiting the sequential structure of short-term outcomes, the paper develops three novel identification strategies and corresponding estimators.
result The proposed methods outperform existing approaches in handling persistent confounders.
Framework optimizes battery storage for markets by separating long-term degradation from short-term market dynamics.
problem Intractable computation due to timescale mismatch between battery degradation and market dynamics.
method Approximate dynamic programming with value function approximation and pseudo-time encoding.
result Policy outperforms benchmarks in real-time market scenarios.
This paper can be viewed as a sequel to the author's long survey on the Zimmer program \cite{F11} published in 2011. The sequel focuses on recent rapid progress on certain aspects of the program particularly concerning rigidity of Anosov actions and Zimmer's conjecture that there are no actions in low dimensions. Some …
SPoC uses search to translate pseudocode into correct programs with error localization.
problem Mapping pseudocode to functionally correct long programs.
method Search-based approach guided by compilation errors for credit assignment.
result Search improves synthesis success rate from 25.6% to 44.7%.
Improved inference in probabilistic programs using attention mechanisms.
problem Inference failure in existing IC network architectures due to long-range dependency issues.
method Inference compilation with attention mechanism to model latent variables.
result Attention mechanism enhances proposal distributions to better match true posterior.
Abstract perspective on quadratic programming for optimal portfolio allocation.
problem Optimal allocation problems in long portfolio theory.
method Using maximum principles and distinguished boundaries in reproducing kernel Hilbert spaces.
result Support of an optimal distribution lies in a variety intersecting a distinguished boundary.
Programming has been an important skill for researchers and practitioners in computer science and other related areas. To learn basic programing skills, a long-time systematic training is usually required for beginners. According to a recent market report, the computer software market is expected to continue expanding …
Solving linear programs by using entropic penalization has recently attracted new interest in the optimization community, since this strategy forms the basis for the fastest-known algorithms for the optimal transport problem, with many applications in modern large-scale machine learning. Crucial to these applications h…
The study evaluates how prediction helps identify the worst-off in welfare programs.
problem Identifying the most vulnerable individuals for support.
method Mathematical models and real-world case study on long-term unemployment.
result Prediction is more effective than other policy levers in surfacing the worst-off.
This work adapts RDT for mental program construction, showing benefits and costs.
problem Applying RDT to mental programs with trade-offs between description length, error, and computational costs.
method Proposed a three-way trade-off and used simulations and partial information decomposition.
result Constructing a shared program library provides global benefits but is sensitive to curricula.
Paper calculates topological complexity of robot movement in narrow aisles.
problem Determining minimum number of scenarios for robot movement in a narrow strip.
method Examined cohomology ring of ordered configuration space to find lower bound.
result Lower bound for minimum number of cases in robot movement program.
Improves logistic regression performance with nonconvex programming.
problem Stochastic generalized linear regression with chance constraints.
method Nonconvex programming techniques, clustering, quantile estimation.
result Over 1 to 2 percent improvement in model performance.
The classic 2pi-Theorem of Gromov and Thurston constructs a negatively curved metric on certain 3-manifolds obtained by Dehn filling. By Geometrization, any such manifold admits a hyperbolic metric. We outline a program using cross curvature flow to construct a smooth one-parameter family of metrics between the "2pi-me…
This article presents the use of Answer Set Programming (ASP) to mine sequential patterns. ASP is a high-level declarative logic programming paradigm for high level encoding combinatorial and optimization problem solving as well as knowledge representation and reasoning. Thus, ASP is a good candidate for implementing p…
Improved genetic programming by optimizing mutation operators for continuous program search.
problem Small syntactic mutations in genetic programming can lead to unpredictable behavioral shifts.
method Learned a compact trading-strategy DSL, created a block-factorized embedding, and designed geometry-compiled mutation operators.
result Geometry-compiled mutation operators discover strong strategies using fewer evaluations and achieve higher Sharpe ratios.
Since 2002 when China first introduced QFII (Qualified Foreign Institutional Investors) system, QFII has been developing in China for 14 years, during when RQFII, Shanghai-Hongkong Stock Connect Program, Shanghai-London Stock Connect Program furthur broadened the avenue for foreign capital to invest in Chinese Security…
A new CNN-based code generator outperforms RNNs by 5%.
problem Capturing long sequences in code generation using RNNs.
method Grammar-based structural CNN with tree-based and pre-order convolution modules.
result Significantly outperforms previous state-of-the-art methods by 5 percentage points.
This paper tackles non-linear reward optimization in resource allocation problems.
problem Optimizing a non-linear function of long-term average rewards in resource allocation problems.
method Proposes model-based and model-free algorithms to learn optimal policies.
result Model-based algorithm achieves a regret of $\Tilde{O}\left(LKDS\sqrt{\frac{A}{T}}
ight)$ for K objectives combined with a concave L-Lipschitz function. Transformers improve solving mixed-integer programs, especially CLSP.
problem Solving Capacitated Lot Sizing Problem (CLSP) with mixed-integer programming.
method Employing transformer models to predict binary variables in CLSP.
result Transformer model outperforms CPLEX and LSTM in solving CLSP.
We introduce a dynamic mechanism for the solution of analytically-tractable substructure in probabilistic programs, using conjugate priors and affine transformations to reduce variance in Monte Carlo estimators. For inference with Sequential Monte Carlo, this automatically yields improvements such as locally-optimal pr…
The idea of computer vision as the Bayesian inverse problem to computer graphics has a long history and an appealing elegance, but it has proved difficult to directly implement. Instead, most vision tasks are approached via complex bottom-up processing pipelines. Here we show that it is possible to write short, simple …
Semidefinite programs (SDP) are important in learning and combinatorial optimization with numerous applications. In pursuit of low-rank solutions and low complexity algorithms, we consider the Burer--Monteiro factorization approach for solving SDPs. We show that all approximate local optima are global optima for the pe…
Programs compute Heegaard Floer invariants from open books.
problem Computing Heegaard Floer invariants of 3-manifolds.
method SageMath programs that analyze Heegaard diagrams and compute HF-hat.
result Computes Heegaard Floer homology and contact invariants.
GP-HD uses genetic programming to generate personalized health models.
problem Creating accurate, personalized health models from large health data.
method Genetic Programming framework to generate parameterized dynamical systems models.
result GP-HD models perform similarly to models based on domain knowledge and outperform LSTM models.
The paper optimizes portfolios to minimize drawdown, outperforming market indices.
problem Minimizing drawdown in financial portfolios.
method Formulated as a nonlinear program, partially linearized, solved using SCIP.
result Minimal drawdown portfolios outperform market indices in return, Sharpe ratio, maximum and average drawdown.
Physics: Similar long-distance properties can mask vastly different short-distance metrics.
problem Classifying homogeneous metrics on group manifolds by long-distance properties.
method Apply universality concept to geometry, focusing on metrics on Lie groups.
result Many metrics on low-dimensional Lie groups have similar long-distance properties despite differing short-distance properties.
Efficiently solves MRF inference problems with semidefinite programming.
problem Computing partition function or MAP estimate in binary and multi-class MRFs.
method Coordinate-descent-based fast semidefinite solver for SDPs.
result Substantially outperforms existing state-of-the-art methods in approximate inference.
COCOA improves credit assignment in reinforcement learning by measuring contributions to rewards.
problem Improving sample efficiency in reinforcement learning through better credit assignment methods.
method Counterfactual Contribution Analysis (COCOA) for precise credit assignment.
result COCOA achieves lower bias and variance compared to Hindsight Credit Assignment (HCA), improving reinforcement learning performance.
Pricing Chinese convertible bonds using Monte Carlo simulation and dynamic programming.
problem Pricing Chinese convertible bonds accurately.
method Monte Carlo simulation and dynamic programming with regression and backward induction.
result An underpriced strategy significantly outperforms benchmarks.
Task offloading is a promising technology to exploit the benefits of fog computing. An effective task offloading strategy is needed to utilize the computational resources efficiently. In this paper, we endeavor to seek an online task offloading strategy to minimize the long-term latency. In particular, we formulate a s…
A new classifier uses linear programming to classify sets based on their covariance.
problem Classifying sets of observations as a whole, not individually.
method Proposes a new classifier, CLIPS, using linear programming for set classification.
result The CLIPS classifier performs better with multiple observations in a set.
Transformer model improves source code summarization.
problem Generating readable summaries of source code.
method Transformer model with self-attention mechanism for code representation.
result Transformer model outperforms state-of-the-art techniques.
New Landsberg metrics found without being Berwaldian.
problem Existence of regular Landsberg metrics that are not Berwaldian.
method Used Maple program to investigate explicit examples and deformed spray methods.
result Found new non-Berwaldian Landsberg metrics and a formula.
BCI provides calibrated prediction intervals for time series forecasts.
problem Calibration of prediction intervals for time series forecasts.
method BCI wraps around any time series forecasting models and optimizes interval lengths using dynamic programming.
result BCI achieves long-term coverage under arbitrary distribution shifts and temporal dependence.
The current paper is a study in Recurrent Neural Networks (RNN), motivated by the lack of examples simple enough so that they can be thoroughly understood theoretically, but complex enough to be realistic. We constructed an example of structured data, motivated by problems from image-to-text conversion (OCR), which req…
Neural network discovers exact solutions to QP with linear constraints.
problem Discovering exact solutions to Quadratic Programs (QP) with linear constraints using neural networks.
method Proposes a neural network modeling approach that analytically derives model parameters from problem coefficients, ensuring closed-form solutions without training.
result The closed-form NN model produces exact solutions for every critical region of the QP solution function, outperforming DNNs and commercial solvers in terms of optimality and feasibility.
A neural network approach solves dynamic portfolio optimization without dynamic programming.
problem Dynamic portfolio optimization with multiple constraints and high rebalancing frequency.
method Parsimonious neural network without dynamic programming, avoiding high-dimensional expectations.
result Proves convergence to theoretical optimal solution under general conditions.
In this paper we sketch some reflections on the pitfalls and inconsistencies of the research program - currently dominant among the profession - aimed at providing microfoundations to macroeconomics along a Walrasian perspective. We argue that such a methodological approach constitutes an unsatisfactory answer to a wel…
The paper proposes a new DR model to better predict EUCs' responses in real-time pricing.
problem Static demand functions fail to capture temporal correlation in EUC behaviors.
method Proposes a dynamical DR model using neural networks to learn from historical data.
result The dynamical DR model significantly outperforms static models in predicting EUC responses.
Computer experiments reveal complex knots that don't simplify.
problem Understanding the dynamics of complex knots under self-repulsion.
method Computer simulations of knot theory, focusing on rational knots and tangles.
result Discovered hard unknots and complexified knots that do not reduce to simpler forms under self-repulsion.
We address the problem of portfolio optimization under the simplest coherent risk measure, i.e. the expected shortfall. As it is well known, one can map this problem into a linear programming setting. For some values of the external parameters, when the available time series is too short, the portfolio optimization is …
We consider the problem of identifying underlying community-like structures in graphs. Towards this end we study the Stochastic Block Model (SBM) on k-clusters: a random model on n=km vertices, partitioned in k equal sized clusters, with edges sampled independently across clusters with probability q and within …
This study improves lookahead Bayesian optimization using rollout approximation.
problem Error propagation in lookahead Bayesian optimization due to model mis-specification.
method Proves rollout's improving nature in lookahead BO and provides guidelines for choosing the rolling horizon.
result Empirical results show rollout improves over myopic and non-myopic BO algorithms.
Stochastic approximation proves asymptotic normality for non-smooth problems.
problem Solving non-smooth stochastic approximation problems.
method Stochastic approximation algorithms for solving smooth equations, extended to non-smooth problems.
result Asymptotic normality and optimality in non-smooth stochastic approximation is proven.
SED integrates synthesis, execution, and debugging for neural program synthesis.
problem Challenges in synthesizing complex programs that match specifications.
method SED combines synthesis, execution, and debugging to improve neural program generation.
result SED reduces error rates and outperforms standard decoding methods.