All papers

Finds miscompilations in smart-contract compilers using executable assertions and standard fuzzers.

The paper proposes a physics-informed forward-inverse machine learning framework for sparse recipe formulation in industrial dyeing.

The paper develops a graph attention network to transfer prototype facade articulation patterns onto building massing targets.

The paper develops an early-warning pipeline using public balance-sheet filings to predict defined-benefit pension sponsor distress.

The paper introduces a hierarchical multi-agent reasoning system combining retrieval and knowledge graphs to find chemical material substitutes.

The paper presents a theoretical negative result on physically implementing reinforcement-learning-driven reasoning in certain physical neural networks.

The paper provides a stochastic analysis perspective linking score matching, Langevin sampling, and diffusion model time reversal.

The paper introduces a lossless compression codec for model checkpoint trajectories conditioned on reference floating-point exponents.

The paper proposes a dynamic stratified grid sampling approach to train implicit neural representations on large scientific data faster.

The paper extends recursive linear structural equation model identification to non-Gaussian noise using conditional prediction risk.

The paper proposes training looped transformers at variable depths only during a short finishing stage to reduce compute costs.

The paper examines importance estimate shrinkage to mitigate catastrophic forgetting in regularization-based continual learning.

The paper establishes theoretical conditions for identifying individual content factors in self-supervised learning via designed augmentation strengths.

The paper introduces a client-side reinforcement learning scheduler to optimize synchronization decisions in edge federated learning.

The paper probes convolutional neural networks to measure how much layer input information can be reconstructed from layer outputs.

The paper proposes an active robot visual learning framework driven by self-supervised curiosity and world model prediction errors.

The paper proves convergence guarantees for decentralized bandit learning in infinite-horizon, general-sum Markov games.

The paper presents a trust-region Bayesian optimization framework designed for noisy, high-dimensional blackbox problems.

The paper presents a continuous-time neural ODE solver for simulating cloth dynamics at arbitrary timestamps.

The paper analyzes depth transfer of hyperparameters in neural networks using an L-smoothness theoretical framework.

The paper presents a conformal prediction method to reliably infer Signal Temporal Logic formulas for multiclass time series classification.

The paper bounds the sample and query complexity of multicalibration using an empirical risk minimization oracle.

The paper tests predictive neural control against classical controllers in simulated spiking neural populations under varying sensitivity conditions.

The paper investigates dynamic tensor rematerialization, identifying cases where increasing memory budgets causes training to unexpectedly run out of memory.

The paper presents an adaptation loss incorporating return direction and price trajectory calibration for test-time financial time series forecasting.

The paper applies a sparsity penalty to task representations to sharpen reward signals in zero-shot reinforcement learning.

The paper introduces a backpropagation-free training method for generative relaxation models suitable for analog neuromorphic hardware execution.

The paper examines using transfer probes to group business tasks when sharing Low-Rank Adaptation experts under fixed parameter budgets.

The paper studies depth extrapolation in looped transformers for graph connectivity, identifying finite iterations beyond which test performance degrades.

The paper presents a mass-conserving neural network architecture designed for interpretable rainfall, evapotranspiration, and runoff simulation across diverse river catchments.

The paper introduces an adapter method that disentangles subject identity from task content during downstream fine-tuning of brainwave foundation models.

The paper develops identification theory and asymptotic estimation methods for nonsymmetric determinantal point processes capable of modeling positive dependence.

The paper presents a physics-constrained generative latent operator framework to simulate multiscale particle accelerator beam dynamics efficiently.

The paper proposes a method to align and merge multiple Low-Rank Adaptations using a shared basis guided by pretrained model weights.

The paper introduces a chunk-wise model-based reinforcement learning approach that uses single-pass rollouts to optimize policies without recurrent backpropagation through time.

The paper derives strong Gaussian approximations for constant learning rate stochastic gradient descent under heavy-tailed noise to enable trajectory-level inference.

The paper evaluates carbon-aware scheduling for geographically distributed language model serving under strict latency service-level objectives using an empirical simulator.

The paper combines language models with Bayesian optimization to guide architectural design exploration for heterogeneous chiplet systems.

The paper proposes a transferable spatiotemporal graph learning framework to forecast road network disruption caused by extreme rainfall across unseen regions.

The paper introduces a Bayesian optimization method that combines language model relational priors with structural descriptors for mixed-variable scientific discovery.

The paper analyzes policy gradient updates that divide trajectory scores by length, identifying mathematical conditions under which expected returns can decrease.

The paper proposes patchwise adaptive normalization to represent one-way coupled exogenous fields in transformer surrogates for partial differential equations.

This paper presents a system that speeds up multi-model language model serving by translating and reusing attention maps across models.

This paper identifies spatial boundary biases in Bayesian optimization and modifies exploration using parameterized spatial weight fields.

This paper introduces a linear-time algorithm to place codec operators in computational graphs to compress operand traffic during on-device inference.

This paper proposes a decomposed routing framework that distills large language model knowledge into lightweight graph neural networks.

This paper analyzes the complexity and theoretical benefits of meeting-triggered information exchange in multi-token random-walk decentralized learning.

This paper introduces a benchmark to evaluate agent memory lifecycle decisions, including compression, consolidation, and deletion.

This paper studies why multi-domain graph pre-training fails to generalize and proposes a fast-slow reciprocal learning framework.

This paper provides a tighter analysis enabling near-linear time computation of random Fourier feature maps with near-subgaussian concentration.

This paper evaluates human opinion measurement interfaces and recommends listwise preference collection for human-in-the-loop optimization.

This paper presents an activation-pairing method and selection criterion to improve closed-form model merging without retraining.

This paper provides theoretical upper bounds on catastrophic forgetting during single-pass online continual learning under convex objectives.

This paper uses Bregman clustering to address opposing member effects within linearized group influence estimates for machine learning models.

This paper evaluates standard machine learning models to predict dengue infection from clinical and hematological data in Bangladesh.

This paper proposes a neural architecture that predicts a tatum grid to track musical beats and downbeats without dynamic Bayesian networks.

This paper introduces a sequence-structured framework that models the global search trajectory to learn branching and node selection in branch-and-bound.

This paper develops stochastic physics-informed neural networks on manifolds to solve stochastic boundary-value problems with random operators.

This paper analyzes error patterns from class frequency imbalances in optimal-transport label transfer and proposes matching target composition marginals.

This paper presents a framework to synthesize executable application environments and training tasks from web information for personal language agents.