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.
New method provides fine-grained feedback on interactive student programs.
DPBD simplifies labeling functions through interactive demonstrations.
The Interaction-Transformation (IT) is a new representation for Symbolic Regression that restricts the search space into simpler, but expressive, function forms. This representation has the advantage of creating a smoother search space unlike the space generated by Expression Trees, the common representation used in Ge…
We survey some recent topics on singularities, with a focus on their connection to the minimal model program. This includes the construction and properties of dual complexes, the proof of the ACC conjecture for log canonical thresholds and the recent progress on the `local stability theory' of an arbitrary Kawamata log…
Money is a technology for promoting economic prosperity. Over history money has become increasingly abstract, it used to be hardware, gold coins and the like, now it is mostly software, data structures located in banks. Here I propose the logical conclusion of the abstraction of money: to use as money the most general …
For robots to coexist with humans in a social world like ours, it is crucial that they possess human-like social interaction skills. Programming a robot to possess such skills is a challenging task. In this paper, we propose a Multimodal Deep Q-Network (MDQN) to enable a robot to learn human-like interaction skills thr…
Nemo improves WS learning pipeline by 20%.
Introduces Motion Programs for better video analysis of human motion.
Optimizes trading in CFMMs and exchanges using deep learning.
System uses machine learning and automated reasoning to speed up PBE synthesis.
BPI models 2D patterns on multiple planes and 3D scene from a single image.
We consider the problem of estimating the topology of spatial interactions in a discrete state, discrete time spatio-temporal graphical model where the interactions affect the temporal evolution of each agent in a network. Among other models, the susceptible, infected, recovered () model for interaction events fal…
New method finds significant high-order interactions efficiently.
A user-friendly interface constructs effective background knowledge from ER diagrams.
New method detects and measures malicious users in recommendation algorithms.
TomOpt optimizes muon detector designs using differentiable programming.
Alpha-GPT mines new trading signals with human-AI interaction.
Framework uses probabilistic programming for physics simulation in games.
Gaussian process framework learns interaction kernels in multi-species particle systems.
The paper uses a graph autoencoder to learn unbiased plant-pollinator interaction embeddings.
This text is about geometric structures imposed by robust dynamical behaviour. We explain recent results towards the classification of partially hyperbolic systems in dimension 3 using the theory of foliations and its interaction with topology. We also present recent examples which introduce a challenge in the classifi…
Neural model accelerates SDDP for stochastic optimization.
The paper analyzes strategic interactions in a multi-agent reinsurance chain using game theory.
The ability to generate natural language sequences from source code snippets has a variety of applications such as code summarization, documentation, and retrieval. Sequence-to-sequence (seq2seq) models, adopted from neural machine translation (NMT), have achieved state-of-the-art performance on these tasks by treating…
GraphQ system uses GNNs to search for subgraph patterns in graphs.
Ranking items to be recommended to users is one of the main problems in large scale social media applications. This problem can be set up as a multi-objective optimization problem to allow for trading off multiple, potentially conflicting objectives (that are driven by those items) against each other. Most previous app…
Label assignment problems with large state spaces are important tasks especially in computer vision. Often the pairwise interaction (or smoothness prior) between labels assigned at adjacent nodes (or pixels) can be described as a function of the label difference. Exact inference in such labeling tasks is still difficul…
New method uses LP to achieve optimal sample complexity in multi-agent reinforcement learning.
The learning of predictive models for data-driven decision support has been a prevalent topic in many fields. However, construction of models that would capture interactions among input variables is a challenging task. In this paper, we present a new preference learning approach for multiple criteria sorting with poten…
Study optimal policies under budget and coverage constraints.
Humans prove theorems by relying on substantial high-level reasoning and problem-specific insights. Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as high-level tactics. However, human experts have to construct proofs manually by en…
Derives mean field game equations from microscopic agent dynamics.
New algorithms compute robustness bounds for multiclass classification models.
Probabilistic method combines space and time uncertainties in PDEs.
New method learns policies from offline data using operator models.
Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a computer algebra system for computational discrete algebra with an emphasis…
We describe Venture, an interactive virtual machine for probabilistic programming that aims to be sufficiently expressive, extensible, and efficient for general-purpose use. Like Church, probabilistic models and inference problems in Venture are specified via a Turing-complete, higher-order probabilistic language desce…
In this work, we propose a novel recurrent neural network (RNN) architecture. The proposed RNN, gated-feedback RNN (GF-RNN), extends the existing approach of stacking multiple recurrent layers by allowing and controlling signals flowing from upper recurrent layers to lower layers using a global gating unit for each pai…
This paper solves steady-state planning for multichain MDPs.
Modern machine learning uses more and more advanced optimization techniques to find optimal hyper parameters. Whenever the objective function is non-convex, non continuous and with potentially multiple local minima, standard gradient descent optimization methods fail. A last resource and very different method is to ass…
Paper presents a framework to automatically discover constraints from data.
Develops a framework for consistent clustering algorithm benchmarking.
Develops methods for clustering hypergraphs with categorical edge labels.
We develop a framework for interacting with uncertain environments in reinforcement learning (RL) by leveraging preferences in the form of utility functions. We claim that there is value in considering different risk measures during learning. In this framework, the preference for risk can be tuned by variation of the p…
We introduce a program aimed to studying problems arising from the theory of complex networks with differential geometric means. We study the propagation of influences on manifolds assuming that at each point only a finite number of propagation velocities are allowed. This leads to the computation of the volume of the …
Many retailers today employ inventory management systems based on Re-Order Point Policies, most of which rely on the assumption that all decreases in product inventory levels result from product sales. Unfortunately, it usually happens that small but random quantities of the product get lost, stolen or broken without r…
The way developers collaborate inside and particularly across teams often escapes management's attention, despite a formal organization with designated teams being defined. Observability of the actual, organically formed engineering structure provides decision makers invaluable additional tools to manage their talent p…
SED integrates synthesis, execution, and debugging for neural program synthesis.