Framework verifies global correctness of neural networks for perception tasks.
problem Verifying robustness of neural networks is insufficient; global correctness needs to be ensured.
method Specified a state space and observation process to define the target input space. Tiled the spaces and compared ground truth and network output bounds to deliver error bounds.
result Framework can verify error bounds globally over the target input space and detect illegal inputs.
We define the quantum correction of the Teichmüller space T of Calabi-Yau manifolds. Under the assumption of no weak quantum correction, we prove that the Teichmüller space T is a locally symmetric space with the Weil-Petersson metric. For Calabi-Yau threefolds, we show that no strong quantum co…
Deep generative models improve global precipitation forecasts.
problem Accurately forecasting extreme rainfall is challenging and costly.
method Trained a Conditional Generative Adversarial Network (CorrectorGAN) to correct and super-resolve global precipitation forecasts.
result CorrectorGAN produces high-resolution, bias-corrected forecasts in seconds.
Develops a curvature-corrected tangent space method for manifold-valued data.
problem Generalizing real-valued data approximation to manifold-valued data.
method Systematic approach to developing global-geometry aware, computationally feasible approximation schemes.
result Proposes CC-tHOSVD for low-rank approximation of manifold-valued data.
P3I learns holistic scene representations from a single image.
problem Inferring camera poses, object locations, and global scene structures from a single image.
method Combines search-based and gradient-based algorithms.
result P3I outperforms baselines on various image manipulation tasks.
Local adaptive methods in FL can accelerate convergence but introduce bias, which is corrected.
problem The effect of using adaptive optimization methods for local updates in federated learning.
method Proposed correction techniques to overcome the bias introduced by local adaptive methods.
result Correction techniques can achieve faster convergence and higher test accuracy than baseline methods.
New method preserves GCM spatial dependencies for better climate projections.
problem Systemic biases in GCM output and loss of spatial/temporal dependencies.
method SPECD approach using Vecchia approximation and semi-parametric quantile regression.
result SPECD preserves key marginal and joint distribution properties of precipitation and temperature.
VAE global minima can learn correct manifold dimensions, even with conditioning variables.
problem Understanding VAE behavior on manifolds and adapting to varying dimensions.
method Proving VAE global minima can learn correct manifold dimensions and extending to CVAEs.
result Proven that VAE global minima can learn correct manifold dimensions and adapted to CVAEs.
This paper corrects climate model biases using a factor model approach.
problem Systematic biases in GCM outputs due to unobserved confounders.
method Factor model approach to learn latent confounders from historical data and apply them to enhance bias correction.
result Significant improvements in the accuracy of precipitation outputs.
Improved LDA method for better classification and dimensionality reduction.
problem Improving linear discriminant analysis for better classification performance.
method Integrates spectrally-corrected covariance matrix and regularized discriminant analysis.
result SRLDA has a linear classification global optimal solution under spiked model assumption.
A new approach corrects bias in federated learning due to varying communication links.
problem Bias in federated learning due to non-uniform and time-varying communication links.
method Proposes Federated Postponed Broadcast (FedPBC) to correct bias in Federated Average (FedAvg).
result FedPBC converges to a stationary point of the global objective, overcoming bias caused by varying communication links.
Clarifies definitions of global hyperbolicity in various spaces.
problem Clarifying terminology in recent literature on global hyperbolicity.
method Comparing definitions in Lorentzian length spaces, optimal transport, and topological preordered spaces.
result The causal relation is a closed order and preserves compactness in all cases.
Estimates neural representation dimensionality from small sample sizes.
problem Estimating neural representation dimensionality from limited data.
method Proposed a bias-corrected estimator for participation ratio of eigenvalues.
result The estimator is more accurate with finite samples and noise.
Improved BAI under DP reduces gap to constant.
problem Fixed-confidence BAI under global DP for Bernoulli distributions.
method New lower bound, stopping rule, and Top Two sampling rule.
result Reduces gap to a small multiplicative constant.
Sequence probability predicts correctness in LLMs, but not for repeated prompts
problem Predicting correctness in large language models
method Quantifying sequence probability and correctness across different levels
result Higher sequence probability often predicts correctness across prompt-answer pairs
Improved sequential tests detect anomalies faster in multi-stream auditing.
problem Efficiently auditing machine learning systems across multiple data streams.
method Developed new sequential tests using merging martingales and averaging/products rules.
result Balanced tests achieve optimal stopping times in sparse and dense alternatives.
Construct quaternionic-Kähler metrics from special Kähler manifolds with specific BPS structure variations.
problem Construct quaternionic-Kähler metrics from special Kähler manifolds with mutually local variations of BPS structures.
method Construct quaternionic-Kähler metrics from a conical special Kähler manifold with a certain type of mutually-local variation of BPS structures. Provide global and local explicit formulas for the quaternionic-Kähler metric.
result Construct quaternionic-Kähler metrics that are positive-definite and deform the 1-loop corrected Ferrara-Sabharval metric.
DiffObs predicts global precipitation with realistic wave modes and low frequency variations.
problem Predicting global precipitation evolution using satellite observations.
method Autoregressive generative diffusion model trained on satellite data.
result Model generates realistic wave modes and low frequency variations, validating its potential for climate prediction.
Global calculus on Wasserstein space defined for Riemannian manifolds.
problem Developing a global differential calculus on Wasserstein spaces.
method Derivations of cylinder functions, Levi-Civita connection, extended Otto metric.
result Global differential approach to Wasserstein spaces reveals intrinsic and extrinsic curvature.
We describe a relation between Atiyah-Patodi-Singer boundary condition and a global elliptic boundary condition which naturally appears in formulating a splitting formula for a spectral flow, when we decompose the manifold into two components. Then we give a variant of the splitting formula with the Hoermander index as…
Rescaled ASGD optimizes distributed learning under heterogeneous data.
problem Vanilla ASGD biases towards a frequency-weighted average of local objectives.
method Rescale worker stepsizes by their computation times.
result Rescaled ASGD converges to the correct global objective in fixed-computation model.
Adaptive personalized federated learning improves local model personalization.
problem Maximizing global model performance limits local model personalization.
method APFL algorithm trains local models while contributing to global model, with optimal mixing parameter and communication-efficient optimization.
result Demonstrates effectiveness of personalization schema and correctness of generalization theories.
We study the physics of globally consistent four-dimensional N=1 supersymmetric M-theory compactifications on G2 manifolds constructed via twisted connected sum; there are now perhaps fifty million examples of these manifolds. We study a rich example that exhibits U(1)3 gauge symmetry and a spectrum o…
A deep learning autoencoder improves error correction for one-bit quantization.
problem Improving error correction for one-bit quantization in AWGN channels.
method Proposes a novel autoencoder-based coding scheme using turbo codes as implicit regularization.
result Empirically and theoretically shows nearly optimal performance of the proposed coding scheme.
FedReLa: A novel data-level approach for imbalanced federated learning
problem Improving accuracy of federated learning models under class imbalance and data heterogeneity
method Re-labeling samples with a feature-dependent label re-allocator
result Significant improvements in accuracy for minority classes and overall accuracy on stepwise-imbalanced and long-tailed datasets
The paper tackles model misspecification in reinforcement learning through a bootstrapped neural network and error correction.
problem Model misspecification in reinforcement learning environments.
method Proposes a bootstrapped multi-headed neural network to learn model distributions and a global error correction filter.
result Demonstrates increased performance and stability in model accuracy and planning algorithm use.
Improved manifold-adaptive dimension estimator for better data complexity assessment.
problem Estimating intrinsic dimensionality of complex data.
method Revised and improved Farahmand-Szepesvári-Audibert (FSA) estimator, incorporating probability density function and median.
result Median-FSA estimator outperforms existing methods in accuracy and robustness.
The proliferation of models for networks raises challenging problems of model selection: the data are sparse and globally dependent, and models are typically high-dimensional and have large numbers of latent variables. Together, these issues mean that the usual model-selection criteria do not work properly for networks…
Paper proposes a new MAR model for global economic forecasting.
problem Joint modeling of economic and financial variables across countries.
method Sparse matrix autoregressive model with trade network integration.
result Sparse component differentiates systematic and idiosyncratic cross-predictability.
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…
Although a key driver of Earth's climate system, global land-atmosphere energy fluxes are poorly constrained. Here we use machine learning to merge energy flux measurements from FLUXNET eddy covariance towers with remote sensing and meteorological data to estimate net radiation, latent and sensible heat and their uncer…
Improved solver maintains positivity and accuracy across all time steps.
problem Linear second-order schemes for Fokker-Planck equation cannot preserve positivity.
method Flux-Corrected Diagonal Frog (FCDF) framework using nonlinear extension and iterative limiter.
result FCDF schemes are unconditionally positive across all time steps and maintain second-order accuracy.
New methods ensure feature importance rankings are correct with high probability.
problem Stability issues in feature importance scores due to random sampling.
method Hypothesis testing-based techniques to assess and verify the stability of top-ranked features.
result Ensures the most important features are correct with high-probability guarantees.
Framework LiLY recovers latent causal variables from time-series data under distribution shifts.
problem Learning and correcting models under unknown distribution shifts in time-series data.
method LiLY framework that recovers latent causal variables and identifies their relations from temporal data under different distribution shifts.
result The framework reliably identifies time-delayed latent causal influences from observed variables under different distribution changes.
In this paper, we study hyperkahler metric and practice GMN's construction of hyperkahler metric on focus-focus fibrations. We explicitly compute the action-angel coordinates on the local model of focus-focus fibration, and show its semi-global invariant should be harmonic to admit a compatible holomorphic 2-form. Then…
Gaussian process models improve MJO predictions with better uncertainty quantification.
problem Lack of uncertainty quantification in MJO predictions by machine learning models.
method Developed a nonparametric strategy based on Gaussian process models, calibrating them using empirical correlations and proposing a posteriori covariance correction.
result Gaussian process models provide better prediction skills and extended probabilistic coverage for MJO forecasts.
Invited lecture at the XIV-th workshop on geometric methods in physics, Bialowieza, Poland, July 9-15, 1995. In this lecture results are reviewed obtained by the author together with Martin Bordemann and Eckhard Meinrenken on the Berezin-Toeplitz quantization of compact Kaehler manifolds. Using global Toeplitz operator…
New methods reduce bias in machine learning predictions for causal inference without extra data.
problem Machine learning predictions from satellite data shrink toward the mean, leading to biased causal estimates.
method Two post-hoc correction methods: Linear Calibration Correction (LCC) and Tweedie's approach, reduce shrinkage-induced bias.
result Tweedie's method yields nearly unbiased treatment-effect estimates, enabling multiple trials with a single map.
Sharp condition found for Burer-Monteiro method to work for MaxCut-type SDPs.
problem MaxCut-type semidefinite programs with low-rank solutions.
method Sharp condition on Laplacian matrix conditioning for global minimizers of non-convex problem.
result Any second-order critical point is a global minimizer under the given condition.
Machine-learned anomaly detection in new-physics searches needs calibration and look-elsewhere correction
problem Machine-learned anomaly detection in new-physics searches
method Conformal prediction layer
result Calibrated significance with distribution-free guarantees
Hill-ADAM optimizes loss landscapes by exploring state space deterministically.
problem Escaping local minima in loss landscapes.
method Hill-ADAM alternates between minimizing and maximizing error to explore the loss space.
result Hill-ADAM finds the global minimum state in loss landscapes.
This paper analyzes the process of long-run co-movements and stock market globalization on the basis of cointegration tests and vector error correction (VEC) models. The cointegration tests used here allow for structural breaks to be explicitly modeled and breakpoints to be computed on a relative-time basis. The data u…
PBC improves AI and dynamical subseasonal forecasts by reducing biases.
problem Subseasonal forecast accuracy drops due to model biases and compounding errors.
method Probabilistic bias correction (PBC) using machine learning to correct historical forecasts.
result PBC doubles AI Forecasting System's subseasonal skill and improves dynamical model skill.
We generalize Llarull's scalar curvature comparison to Riemannian manifolds admitting metric connections with parallel and alternating torsion and having a nonnegative curvature operator on 2-vectors. As a byproduct, we show that Euler number and signature of such manifolds are determined by their global holonomy repre…
A new method uses denoising diffusion models to improve seismic data interpolation.
problem Improving the accuracy of seismic data interpolation to enhance imaging and interpretation.
method The approach combines denoising diffusion probabilistic models with coherence-corrected resampling strategies.
result The proposed method achieves superior performance and generalization to various missing patterns and noise levels.
In this paper we establish a constructive method in order to show global existence and regularity for a class of degenerate parabolic Cauchy problems which satisfy a weak Hoermander condition on a subset of the domain where the data are measurable and which have regular data on the complementary set of the domain. This…
AReS framework provides interpretable recourses for entire populations.
problem Ensuring meaningful and non-discriminatory recourses for high-stakes decision-making.
method Model agnostic framework for global counterfactual explanations, optimizing correctness and interpretability while minimizing costs.
result AReS enables learning compact rule sets for recourses across subpopulations, with optimality guarantees.
DeepGLO forecasts high-dimensional time series by combining global and local models.
problem Forecasting high-dimensional time series with global patterns and local calibration.
method Hybrid model combining global matrix factorization and local temporal networks.
result DeepGLO outperforms state-of-the-art approaches by more than 25% in WAPE.