A new method corrects CTF and noise in cryo-EM images.
problem Restoring single particle cryo-EM images from noisy and distorted data.
method Covariance Wiener Filtering (CWF) method using the covariance matrix of projection images.
result CWF successfully corrects for CTF and noise, providing better image restoration.
Develops multiscale covariance tensor fields for data shape analysis.
problem Quantifying variation of data at all scales.
method Localized covariance tensor fields (CTF) and strong stability theorems.
result CTFs are robust to sampling, noise, and outliers.
Continuous-time flows unify inference and density estimation.
problem Efficient inference and robust density estimation for latent-variable models.
method Continuous-time flows (CTFs) as a diffusion-based framework for both tasks.
result CTFs achieve both inference and density estimation in a unified framework with theoretical guarantees.
Paper tackles L-space conjecture for knot manifolds, proving equivalence for some properties.
problem Tackles L-space conjecture for knot manifolds, proving equivalence for some properties. method Introduces relative L-space conjecture, characterizes slope detection, uses Heegaard Floer homology, left-orders, and foliations. result Confirms equivalence of CTF and NLS for slope detected knots, identifies exceptional slopes. Improved accuracy in neural networks using CTF memory with RPU.
problem Challenges in achieving high accuracy in neural networks using in-memory computing.
method Exploring the trade-off between conductance change range and linearity in CTF memory for RPU-based matrix operations.
result Achieved accuracy of 97.9% on MNIST dataset, 89.1% and 70.5% on CIFAR-10 and CIFAR-100 datasets.
New foliations show knot meridians are detectable.
problem Detecting knots in 3-manifolds.
method Constructing co-oriented taut foliations intersecting knot meridians.
result Evidence supports conjecture related to L-space conjecture.
Torus decomposition shows foliation detected slopes for glued knot manifolds.
problem Detecting foliation detected slopes in glued knot manifolds.
method Torus decomposition and foliation analysis.
result Gluing knot manifolds identifies rational boundary slopes.
Polymarket-v1 Database tracks 1.2B trades across 1.3M markets with 100% ground-truth direction.
problem Lack of ground-truth data in prediction markets archives.
method Ground-truth archive of 1.2B trades from Polymarket's CTF Exchange.
result Ground-truth data reveals systematic errors in microstructure metrics.
New method improves cryo-EM image classification and averaging.
problem Low SNR in cryo-EM images.
method Introduces Mahalanobis distance for image comparison.
result Improved state-of-the-art classification performance.
The paper introduces metrics and methods to improve fairness in text classification models.
problem Counterfactual fairness issues in text classifiers, like predicting toxicity based on sensitive attributes.
method Developed a metric (CTF) and three approaches (blindness, counterfactual augmentation, CLP) to optimize counterfactual fairness during training.
result Blindness and CLP methods improve counterfactual fairness without harming classifier performance.
CoIFNet unifies imputation and forecasting for robust multivariate time series prediction with missing values.
problem Pervasive missing values degrade multivariate time series forecasting accuracy.
method CoIFNet integrates imputation and forecasting through Cross-Timestep Fusion and Cross-Variate Fusion modules.
result CoIFNet achieves 24.40% improvement over state-of-the-art methods at 0.6 point (block) missing rate.
Non-intrusive algorithm corrects corrupted data in classification models.
problem Classification problems with corrupted training data.
method Post-processes a trained classification model with a correction procedure.
result Corrected models deliver correct classification results even with corrupted data.
A new model of learning corrects for chance to improve learning outcomes.
problem The importance of chance-corrected measures in learning.
method Developed two models: Informatron and AdaBook, based on empirical psychological results.
result Chance correction facilitates learning, as shown by computational results.
Mathematical study of instanton corrected q-map spaces and their isometries.
problem Understanding the isometries of instanton corrected q-map spaces.
method Study of isometries of instanton corrected q-map spaces associated to PSR manifolds.
result Explicit example of instanton corrected q-map space with full SL(2,Z) acting by isometries.
New method combines machine learning with data assimilation for model error correction.
problem Correcting model errors using sparse and noisy observations.
method Hybrid machine learning and data assimilation methods.
result Tendency correction outperforms resolvent correction in data assimilation experiments.
Corrected misstatements about invariant rank in ECS manifold papers.
problem Misstated invariant rank (d=1 instead of d=2) in several papers on ECS manifolds.
method Identified the class of examples with d=1, explained why d=2, and listed corrections.
result Corrected papers to accurately state d=2 for ECS manifolds.
This work discusses verifying the correctness of backtest engines for trading strategies.
problem Ensuring the correctness of backtest engines for trading strategies is challenging.
method Develop models for candle data and intra-period prices, provide tests for verification, and suggest algorithmic considerations.
result A proof of correctness for a backtest engine can be conducted if specific model tests are successful.
Localized Multidirectional Correction improves non-refusal target-response behavior in foundation models.
problem Controlled post-training refusal suppression in routed MoE and hybrid-MoE foundation models.
method Introduce Localized Multidirectional Correction (LoMC), a support-gated intervention framework.
result Substantially improves non-refusal target-response behavior while maintaining general capability under a compact intervention footprint.
Art and science of conformally correct tilings of compact surfaces.
problem Producing conformally correct tilings of compact surfaces.
method Discussing and presenting examples of tilings.
result Presentation of a tiling of the Chmutov surface by hyperbolic triangles.
Theoretical analysis shows LLMs can self-correct responses through in-context learning.
problem Understanding how large language models improve through self-correction.
method Theoretical analysis based on simplified alignment task, focusing on softmax attention, multi-head attention, and MLP blocks.
result LLMs can refine responses in an in-context way when given accurate self-examinations as rewards.
New algorithms improve boosting by optimizing chance-corrected measures.
problem Improving boosting algorithms to use chance-corrected measures effectively.
method Developed new algorithms (AdaBook and Multibook) that optimize chance-corrected measures.
result AdaBook and Multibook outperform standard Multiboost or AdaBoost in multiclass situations.
Study examines corrections to heterotic geometry on SU(3) manifolds.
problem Analyzing α′2 corrections to heterotic supersymmetry algebra. method Derives integrability condition and pure gauge correction from graviton equation of motion.
result Curvature of tangent bundle connection acquires a (0,2) component, disrupting semi-classical intuition.
Expectation Propagation (EP) provides a framework for approximate inference. When the model under consideration is over a latent Gaussian field, with the approximation being Gaussian, we show how these approximations can systematically be corrected. A perturbative expansion is made of the exact but intractable correcti…
A model corrects Lithuanian grammatical errors.
problem Lack of language skills and typing errors in Lithuanian.
method Transformer architectures for subword and byte-level approaches.
result F0.5=0.92 for Lithuanian grammatical error correction. MaxEnt Model Correction improves reinforcement learning model accuracy.
problem Improving reinforcement learning model accuracy and convergence.
method MaxEnt Model Correction (MoCo) procedure to correct model's next-state distributions.
result MoCoVI and MoCoDyna algorithms converge faster and effectively use approximate models.
Corrects proofs for kernel-k-means clustering validity.
problem Ensuring the existence of kernel functions for k-means clustering. method Revises Gower's proofs and addresses missing conditions.
result Establishes the existence of kernel functions for k-means. We derive a closed formula for the Heegaard Floer correction terms of lens spaces in terms of the classical Dedekind sum and its generalization, the Dedekind-Rademacher sum. Our proof relies on a reciprocity formula for the correction terms established by Ozsvath and Szabo. A consequence of our result is that the Casso…
Improved exposition and corrections in hyperbolic group graphs.
problem Improving exposition and corrections in hyperbolic group graphs.
method No new method introduced, just corrections and minor changes.
result No new key result presented, just corrections and minor changes.
New methods correct spectral distortions using known analyte concentrations.
problem Distorted spectral shapes from absorbing and scattering contributions.
method Modified penalized baseline correction methods that incorporate known analyte concentrations.
result Improved prediction performance on near infra-red data sets.
Paper proposes a new meta-learning approach for correcting noisy labels.
problem Learning with noisy labels in machine learning models.
method Meta-learned instance re-weighting approach extended to label correction problem.
result Proposed MLC (Meta Label Correction) framework achieves large improvements over previous methods.
Corrects a lemma in a 2009 paper about contact homology and Floer homology.
problem An error in a lemma about contact homology and Floer homology.
method None, as it is a correction of an existing lemma.
result Corrects an error in a previously published lemma.
This is a corrected version of our paper published in Osaka Journal of Mathematics 51(2014), 673-693. We correct Theorem~1.1, Proposition~3.3 and their proofs.
Bayesian method corrects for model selection multiplicity in regression.
problem Model selection multiplicity in regression analysis.
method Developed a Bayesian prior distribution based on Holm procedure analogy.
result Adequate multiplicity correction requires sparsity not provided by recommended priors.
New approach shows AI can adapt like toddlers by correcting old knowledge.
problem Lack of adaptability in AI models compared to humans and animals.
method Casting adaptation as posterior correction and using Bayesian Learning Rule.
result AI can learn to adapt quickly by using posterior correction.
Corrects a proof gap in the Morse lemma for hyperbolic spaces.
problem Gap in the proof of optimal bounds for the Morse lemma in Gromov-hyperbolic spaces.
method Describes a computer certification of the corrected result.
result Corrects the main theorem of [ShCh13a] in optimal bounds for the Morse lemma.
Khovanov homology helps create quantum error-correcting codes.
problem Creating robust quantum error-correcting codes.
method Using Khovanov homology and its extensions to define and analyze quantum codes.
result New families of quantum codes with desirable properties.
Post-training corrections boost time-series forecasting accuracy.
problem Improving forecasting accuracy of large models after training.
method Sequential application of carefully selected corrections to predictions.
result Up to 30% improvement in forecasting accuracy with minimal overhead.
This paper improves deep learning model consistency through ensemble methods.
problem Consistency and correct-consistency issues in deep learning models.
method Formal definition of consistency and correct-consistency, proving ensemble improvement, proposing dynamic snapshot ensemble method.
result Ensemble methods can improve correct-consistency of deep learning models.
The study examines methods to correct measurement error in nutritional epidemiology studies.
problem Measurement error in nutritional studies leads to biased and underconfident estimates.
method The article reviews various bias-correction models for exposure variables in nutritional epidemiology.
result Bias-correction methods are essential for accurate inference in nutritional studies.
UCPO improves diversity in reinforcement learning models, maintaining high accuracy.
problem RLVR objectives often lead to diversity collapse, reducing coverage of correct solutions.
method UCPO adds a conditional uniformity penalty to GRPO, redistributing probability mass.
result UCPO improves Pass@K and diversity while maintaining competitive Pass@1 accuracy.
Algorithm generates corrections to neural network outputs for feedback.
problem Improving user understanding of neural network predictions.
method Solves linear constraint satisfaction problems to generate minimal, stable, symbolic corrections.
result Generated corrections help users understand neural network outputs.
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.
The paper constructs homology spheres with large correction terms.
problem Finding homology spheres with large correction terms.
method Constructing families of homology spheres that bound 4-manifolds with intersection forms isomorphic to -E8.
result Homology spheres have arbitrarily large correction terms.
We present a general formalism for incorporating the string corrections in generalised geometry, which necessitates the extension of the generalised tangent bundle. Not only are such extensions obstructed, string symmetries and the existence of a well-defined effective action require a precise choice of the (generalise…
Paper addresses hypothesis space misspecification in learning from human demonstrations and corrections.
problem Hypothesis space misspecification in learning from human demonstrations and corrections.
method Reason explicitly about how well the robot can explain human inputs given its hypothesis space.
result Demonstrates method on a 7 DOF robot manipulator.
The paper proves an obstruction to immersed curves with specific curvature.
problem Existence of immersed curves with prescribed curvature.
method Proofs and corrections of submitted manuscript.
result An obstruction to the existence of immersed curves of prescribed curvature.
Optimal δ-correct algorithm for heavy-tailed distributions with minimal samples.
problem Identifying the best arm from a set of unknown distributions with heavy tails.
method Developed a δ-correct algorithm that matches lower bounds under mild restrictions.
result The proposed algorithm achieves optimal sample complexity for heavy-tailed distributions.
The paper examines when importance weighting is needed for nonparametric and misspecified models.
problem When is importance weighting correction needed for covariate shift adaptation?
method Analysis of IW-corrected kernel ridge regression in various settings.
result The importance weighting correction is needed for nonparametric and misspecified models to obtain the best approximation of the true unknown function.