Graph neural networks struggle with proving unsatisfiability in complex logical formulas.
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Trend · papers per month
The paper proposes a new model to better estimate demand from censored data.
We consider the problem of consistently matching multiple sets of elements to each other, which is a common task in fields such as computer vision. To solve the underlying NP-hard objective, existing methods often relax or approximate it, but end up with unsatisfying empirical performance due to a misaligned objective.…
Interactive recommender systems that enable the interactions between users and the recommender system have attracted increasing research attentions. Previous methods mainly focus on optimizing recommendation accuracy. However, they usually ignore the diversity of the recommendation results, thus usually results in unsa…
Sequential decision making for lifetime maximization is a critical problem in many real-world applications, such as medical treatment and portfolio selection. In these applications, a "reneging" phenomenon, where participants may disengage from future interactions after observing an unsatisfiable outcome, is rather pre…
A new microeconomic model is presented that aims at a description of the long-term unit sales and price evolution of homogeneous non-durable goods in polypoly markets. It merges the product lifecycle approach with the price dispersion dynamics of homogeneous goods. The model predicts a minimum critical lifetime of non-…
Is AdamW effective under heavy-tailed noise?
Hearing Aid (HA) algorithms need to be tuned ("fitted") to match the impairment of each specific patient. The lack of a fundamental HA fitting theory is a strong contributing factor to an unsatisfying sound experience for about 20% of hearing aid patients. This paper proposes a probabilistic modeling approach to the de…
Paper proposes efficient UAV placement for aerial base stations.
A new algorithm speeds up sparse regression for discovering equations from data.
Learning-based link scheduling improves network performance in millimeter-wave multi-connectivity.
Study proposes a clustering and logistic regression algorithm for PU classification under Non-SCAR.
This article revisits an analysis on inaccuracies of time series averaging under dynamic time warping conducted by \cite{Niennattrakul2007}. The authors presented a correctness-criterion and introduced drift-outs of averages from clusters. They claimed that averages are inaccurate if they are incorrect or drift-outs. F…
Interpretable companion model for black-box classifiers.
We present a new approach to assessing the robustness of neural networks based on estimating the proportion of inputs for which a property is violated. Specifically, we estimate the probability of the event that the property is violated under an input model. Our approach critically varies from the formal verification f…
Proposes a new method to learn representations directly optimized for a task.
Proposes an ensemble framework for outlier detection with embedded feature selection.
Paper reduces turbomachinery CFD simulations by identifying key dimensions.
Despite the breakthroughs in accuracy and speed of single image super-resolution using faster and deeper convolutional neural networks, one central problem remains largely unsolved: how do we recover the finer texture details when we super-resolve at large upscaling factors? The behavior of optimization-based super-res…
Existing guarantees in terms of rigorous upper bounds on the generalization error for the original random forest algorithm, one of the most frequently used machine learning methods, are unsatisfying. We discuss and evaluate various PAC-Bayesian approaches to derive such bounds. The bounds do not require additional hold…
Improved neural network model for predicting latent budgets in compositional data.
BFPM improves machine learning accuracy by considering object types and memberships flexibly.
Linear memory stores associations up to a logarithmic scale, but listwise retrieval can handle a quadratic scale.
GCNs favor high-degree nodes, leading to biased performance; a new method mitigates this.
In the cost per click (CPC) pricing model, an advertiser pays an ad network only when a user clicks on an ad; in turn, the ad network gives a share of that revenue to the publisher where the ad was impressed. Still, advertisers may be unsatisfied with ad networks charging them for "valueless" clicks, or so-called accid…