PAPER PLAINE

Fresh research, simply explained. Updates twice daily.

A statistical approach to bias in zero-shot learning: the lens of handwriting recognition

Fixing AI's blind spot when recognizing things it's never seen before

AI systems trained on familiar examples tend to assume new data belongs to those familiar categories, even when it doesn't. This paper fixes that bias using a statistical two-step process: first, an existing recognition system makes its best guess, then a second layer corrects for the known tendency to misclassify. Testing on handwriting recognition, the method improved accuracy by over 20% on unseen words and works with any existing recognition system plugged in.

Many real-world recognition tasks involve categories the system has never encountered—new medical diagnoses, emerging languages, novel products. The bias toward familiar categories can cause serious misidentifications. This fix is modular and works with existing systems without redesigning them, making it practical to deploy across medical imaging, document processing, and other fields where recognizing truly new things matters.

PAC-Bayesian Reconstruction Guarantees for Time Series Variational Autoencoders

When AI learns time patterns, proving it will work on new data

Researchers created mathematical guarantees for variational autoencoders—AI models that learn to compress and reconstruct time series data—showing they will generalize to new, unseen sequences. Crucially, these guarantees don't weaken as time series get longer, a major advance over previous theory that assumed data points were independent.

Variational autoencoders are already deployed in energy grids, hospitals, and financial systems to forecast and detect anomalies in time-dependent data. Without theoretical guarantees, there's no principled way to know when these models are reliably learning patterns versus just memorizing training data. This work provides that foundation, letting practitioners understand when these models are safe to trust on new real-world sequences.

How Perturbations Propagate: A Multi-Level Analysis of Robustness in Large Language Models

What happens inside AI language models when text gets scrambled or corrupted

When language models encounter typos, garbled text, or shuffled words, the damage spreads differently depending on the type of error and where you measure it. Researchers found that looking only at final output—whether the model gets the answer right—misses crucial information about how the model's internal representations break down, and different errors leave distinct patterns of disruption inside the model that don't always correlate with behavioral mistakes.

Language models power chatbots, search engines, and writing tools that real users interact with through imperfect inputs—voice transcription errors, typos, garbled PDFs. This work reveals that a model might produce reasonable-sounding output while its internal workings are partially corrupted, masking fragility that only shows up under specific stresses. Understanding these hidden failure modes is essential for deploying language models in safety-critical contexts and for building systems that degrade gracefully rather than confidently producing wrong answers.

Spectral characteristics of autoencoder parameters as a vector representation of data

What a neural network's weights reveal about the data it learned from

A trained autoencoder's internal parameters contain a fingerprint of the data it learned from. Researchers showed that by analyzing the mathematical structure of these parameters—specifically their singular values—you can tell which datasets a model was trained on with high accuracy, without ever looking at the original data or using complicated reconstruction methods.

This could let researchers quickly identify what data a neural network has seen, which matters for detecting model theft, understanding training data composition, and auditing AI systems for bias or unwanted memorization. It also suggests a simpler way to compare and categorize trained models based on their internals alone.

On the Reliability of Generative Augmentation: A Wasserstein-Based Theoretical and Empirical Study

When synthetic data helps machine learning, and when it doesn't

Researchers created a mathematical framework to predict when artificially generated data actually improves classification accuracy on imbalanced datasets. They found that higher-quality synthetic data doesn't always lead to better predictions—what matters is how closely the generated data matches the real data's distribution, measured by a metric called Wasserstein discrepancy.

Machine learning teams routinely use synthetic data to fix imbalanced datasets, but have lacked clear guidance on which generation methods work best. This framework provides a principled way to evaluate synthetic data quality before deploying it, potentially saving teams from investing time in high-fidelity generators that won't improve actual performance. It also shows that simpler oversampling methods are sometimes more reliable than complex generative models—a finding that could reshape how practitioners choose their augmentation strategy.

Learning a Size-Weight Frontier for Synthetic-Augmented Inference

How much fake data can you safely mix with real data?

When researchers use synthetic data to fill gaps in real observations, they risk getting wrong answers if they're not careful about how much synthetic data to use. This paper presents a method that identifies exactly how many synthetic samples can be safely mixed with real data—and at what weight—while still producing reliable results. In tests combining AI-generated responses with real survey data, the approach maintained accuracy while shrinking confidence intervals by substantial margins.

Synthetic data is cheap and fast to generate, but mistakes in using it waste time and money on flawed conclusions. This framework lets practitioners know precisely when they can trust their results, making it practical to combine real and synthetic data without guessing about reliability. For surveys, medical studies, and other research constrained by small sample sizes, this could make the difference between usable insights and misleading ones.

A Finite Sample Analysis for Quantile Temporal Difference Learning in Distributional Reinforcement Learning

How fast AI learns to predict full outcome ranges, not just average rewards

Researchers proved that a specific learning algorithm can reliably teach AI systems to predict the full distribution of possible rewards—not just the average—even with limited training data. The algorithm converges to accurate predictions at a rate that doesn't get worse as you add more prediction points, solving a long-standing question about when and how fast this kind of learning actually works.

Distributional reinforcement learning helps AI agents make better decisions in uncertain environments by understanding the full range of what might happen, not just the typical outcome. This proof provides the first formal guarantee that the method works reliably, which gives engineers confidence to use it in real systems where data is expensive or risky to collect—like robotics or medical applications.

Fine-Tuning Whisper for Automatic Speech Recognition in Baniwa: A Preliminary Study

Teaching AI to understand an endangered indigenous language with minimal data

Researchers adapted Whisper, an AI speech recognition system, to recognize Baniwa, an indigenous language spoken across Brazil, Colombia, and Venezuela with very few digital recordings. Using just 32 minutes of transcribed audio, the system correctly identified about 6 in 10 words — the first baseline for Baniwa speech recognition and proof that multilingual AI models can work with extremely limited training data.

Indigenous languages like Baniwa are disappearing as fewer people speak them, and digital tools almost never exist for them because companies focus on major languages. This work shows that endangered language communities don't need massive datasets to build functional speech recognition tools—they can leverage existing AI systems trained on major languages. This creates a practical pathway for documenting and preserving languages that otherwise leave no digital record.

Hierarchical Exponential-Gaussian Mixtures for Watch-Time Distribution Prediction

Fixing the math behind predicting how long people watch short videos

A new statistical method predicts how long people will watch short videos by modeling the full range of possible watch times—from people who quit immediately to those who watch all the way through. The approach fixes three critical problems in prior methods: collapsed variance, redundant components, and inactive parts of the model. In a real-world test with millions of videos, it improved ranking accuracy and made predictions more stable and interpretable.

Video platforms make billions in ad revenue based on which videos they show you. Better watch-time predictions mean more accurate recommendations, which keeps people engaged longer and generates more advertising impressions. The production test showed statistically significant increases in user engagement, translating directly to platform value.

Multivariate Spatio-Temporal Regression with Penalized Model Selection and an Empirical Application

A statistical toolkit for untangling spatial, temporal, and cross-variable relationships in data

Researchers developed a flexible statistical framework that can detect and model how multiple outcomes influence each other across space and time — for instance, how pollution levels in neighboring cities and past months predict current conditions. Tests on real data from 198 Japanese municipalities showed the method successfully identifies which types of spatial and temporal connections matter most, removing nearly all unexplained spatial patterns from the results.

Policy makers often need to predict outcomes like employment, pollution, or disease spread across regions and years, but existing methods force them to choose between oversimplified models or treating each location and outcome separately. This framework lets analysts automatically discover which connections actually exist in their data, making forecasts more accurate and revealing hidden regional interdependencies that single-location models would miss.

A Layered Simplex Architecture for Large Alphabets

A simpler way to guess unknown probabilities from limited data

Researchers developed a new method for estimating probability distributions when dealing with huge sets of possible outcomes—like predicting which words appear next in text. The method is remarkably simple: it multiplies random samples together and renormalizes them, yet it performs as well as or better than established techniques like Good-Turing across diverse real-world tests, without requiring manual tuning of parameters.

Probability estimation is central to compression, language modeling, and machine learning. This method works reliably across different alphabet sizes and data quantities without needing to adjust knobs by hand—a major practical advantage. The work also reveals a precise mathematical pattern: prediction cost scales directly with how fast new items appear in your data, which offers clearer insight into what makes some estimation problems harder than others.

Where A Small Language Model Helps in Invoice Categorisation, Understood Through Embedding Geometry

How a small AI model learns to sort invoices—and what geometry reveals about why

A small language model trained on a single computer reached 96% accuracy at automatically sorting invoices into the correct accounting categories, outperforming larger zero-shot AI systems. The researchers discovered that the model's success hinges on geometric patterns in how it represents financial language—clusters of similar invoices that map closely to vendor identity—and found a surprising mismatch: structured invoice formats that help human accountants actually make the AI model perform worse.

Companies increasingly automate invoice sorting for tax compliance and financial reporting, but relying on large cloud-based AI creates cost and security risks. This work shows that smaller, in-house models can match or beat expensive alternatives while keeping sensitive financial data private—and only need about 100 labeled invoices per new client to work well. Understanding *how* these models make decisions through geometry rather than black-box predictions also lets accountants spot when something has gone wrong.

Revisiting Energy-based Tabular Anomaly Detection: Energy and Reconstruction are Complementary

Combining two different detection methods to spot fake data more reliably

A decades-old machine learning technique called Deep Boltzmann Machines can reliably detect unusual patterns in spreadsheet-like data, and when paired with modern neural networks, it catches anomalies the network alone would miss. On two real-world datasets, this combination improved detection accuracy by 1.4% and 0.2% respectively—gains that held up across dozens of test runs.

Spotting fraudulent transactions, network intrusions, or equipment failures in databases matters enormously for banks, security teams, and manufacturers. Current tools rely almost entirely on one detection approach, leaving blind spots. This work shows that dusting off an older technique and combining it with modern methods fills those gaps, making anomaly detection measurably more reliable without needing to retrain existing systems.

Defensive Boosting for Online Probabilistic Forecasting

A smarter way to predict when conditions are uncertain or adversarial

Researchers developed a forecasting algorithm that works well in two different scenarios—when you have good weak predictors available, and when you don't—without needing to choose which one beforehand. The method uses 10 to 100 times less computation than existing approaches while maintaining strong accuracy on both real and synthetic data streams.

Many real-world prediction tasks face uncertain conditions where you don't know upfront whether your available tools will work well. This algorithm handles both cases simultaneously, making it practical for financial forecasting, weather prediction, and fraud detection systems that can't afford to fail or slow down when assumptions break down.

A Quantum/Classical Example Oracle Separation for Making Things Up

When quantum computers learn faster from quantum data than classical data

Researchers proved that quantum computers can learn certain patterns significantly faster when trained on quantum data rather than classical data—something that was theoretically unclear before. Using a mathematical oracle construction, they demonstrated a concrete example where a quantum learner with quantum examples solves a problem efficiently, while the same quantum learner restricted to classical examples cannot.

This result clarifies a fundamental question about quantum computing's advantage in machine learning. If quantum data sources become available, quantum computers could provide speedups that aren't possible with purely classical training data—establishing a new dimension of quantum advantage beyond just computational power. This helps researchers understand where quantum machine learning will matter most in practice.

Context Is Not Authority: Structured Runtime Governance for Financial Market Agents

Stopping financial AI from acting on outdated or unauthorized information

Financial trading systems can misinterpret instructions or act on stale data, turning correct information into wrong trades. SAGE-Fin is a control system that verifies what a financial agent actually proposes to do—not just what it claims—and rechecks permissions whenever market conditions, account status, or policies change. Real-world testing at a digital-asset platform confirmed it caught cases where agents would have acted on outdated or missing authorization.

Financial errors move fast and cost real money. A trading system that silently acts on yesterday's permissions or misread instructions can execute unauthorized trades before anyone notices. SAGE-Fin forces the system to prove at runtime that each proposed action is still authorized, catching drift and stale data before execution. The platform's independent operations team found it practical enough to deploy on live customer requests, suggesting it can reduce the window where bad trades slip through.

Scalable estimation of VARMA models

Making complex time-series models practical for real-world data

Researchers created a new way to fit VARMA models—statistical tools that forecast how multiple variables change together over time—that works at practical scale for the first time. By reformulating the math and using Fourier techniques, they cut the computational cost per iteration from growing with data length to staying fixed, allowing the method to handle 10–40 variables where it previously failed or produced unreliable forecasts.

VARMA models are theoretically superior to simpler alternatives because they capture complex patterns with fewer parameters, but companies and researchers have avoided them for anything beyond small datasets due to prohibitive computational cost. This breakthrough removes that barrier, letting practitioners use better forecasts for demand planning, weather modeling, and air quality without switching to inferior approximations or waiting for impractical computation times.

Stochastic Dynamics on Persistence Diagram Space via Reinforcement Learning

Teaching computers to reshape data patterns while keeping what matters most

Researchers created a machine-learning system that can evolve topological diagrams—visual summaries of data structure—through controlled steps, like gradually editing a sketch. The system learns which changes to make by balancing three goals: matching target data patterns, preserving important topological features, and reducing complexity. Experiments show it can simplify messy diagrams while keeping their core structural information intact.

Topological diagrams are used to find meaningful patterns in complex datasets, from brain imaging to materials science. Currently, researchers treat these diagrams as fixed snapshots. This framework enables diagrams to evolve and adapt, opening the door to cleaner data summaries that retain what scientists actually care about—reducing noise without losing signal. This could make it easier to compare, compress, and understand high-dimensional data across fields.

Information-Geometric Forward Policy Training in GFlowNets

Using geometry to train AI systems that generate better solutions faster

Researchers developed a new way to train generative flow networks—AI systems that learn to generate good solutions to complex problems—by borrowing mathematical tools from information geometry. The method automatically identifies which parts of a problem have structure that can be exploited, allowing the training algorithm to take smarter, more efficient steps toward better solutions.

Generative flow networks are increasingly used to solve hard combinatorial problems in drug discovery, chip design, and optimization. This geometric approach makes training faster and more reliable by letting the algorithm adapt to the underlying problem structure rather than using one-size-fits-all updates, potentially cutting the computational cost of finding good solutions substantially.

Aggregate-then-Calibrate for Human-centered Assessment with Theoretical Guarantees

Combining human judges and AI scores for better decisions without ground truth

When assessing subjective things like essay quality or medical images, humans and AI models each have blind spots: humans disagree with each other, while AI learns from incomplete information. Researchers developed a two-stage method that first finds consensus among human judges, then uses that consensus to correct and calibrate AI scores. The approach outperformed using either humans or AI alone across multiple real-world tests.

Many high-stakes decisions—hiring, healthcare, academic grading—rely on assessment where there's no perfect right answer to check against. This method lets organizations systematically improve their judgment calls by combining what humans do well (comparing options) with what AI does well (spotting patterns). The theoretical guarantees mean practitioners can trust the approach even when human agreement is messy or incomplete.

Doubly Robust Functional Representation Learning for Longitudinal Causal Inference with Irregular Histories

Making sense of messy medical records to find what actually causes outcomes

Doctors often track patients with lab tests and monitor readings taken at random times, creating fragmented records that standard statistical methods struggle to handle. This paper presents a new approach that converts these irregular histories into clean data states, then uses those states to answer causal questions—like whether a treatment actually changed a patient's outcome—while accounting for confounding and measurement bias. Tests on ICU data show the method works even when records are sparse or heavily skewed.

Hospital records are inherently messy: labs are ordered when doctors suspect problems, vital signs stream continuously but get recorded sporadically, and timing itself contains medical information. Current methods either throw away the timing and detail or ignore bias in what gets measured when. This approach handles all of that without requiring researchers to manually engineer summaries, making it possible to reliably answer causal questions from real electronic health records—which matters because many treatment decisions in medicine depend on understanding what actually works, not just what correlates with recovery.

Breaking the Curse with BAND: Nonparametric Distribution Estimation in High Dimensions

Estimating probability patterns in high-dimensional data without exponential slowdowns

A new method called BAND uses sparse networks to estimate what patterns exist in complex, high-dimensional datasets—breaking through a long-standing mathematical barrier that makes traditional approaches exponentially slower as data dimensions increase. The approach works on mixed data types (numbers, categories, time series) and achieves estimation speeds that scale polynomially rather than exponentially with dimension.

Many real-world problems—genomics, climate modeling, financial forecasting—involve hundreds or thousands of variables, making traditional statistical methods impractical. BAND makes these high-dimensional estimation problems computationally feasible, enabling faster and more reliable probability forecasts in domains where previous methods would simply take too long to produce usable results.

Frequency-Based Reservoir computing

Building smarter prediction machines by copying how the brain handles rhythms

A new approach to reservoir computing—a fast machine learning technique for forecasting time series—organizes the internal processing around frequencies instead of random connections. By modeling the system as independent oscillators tuned to different frequencies, the method performs as well as or better than traditional random reservoirs and can actually be optimized to improve short-term predictions, something random reservoirs cannot do.

Reservoir computing is already used for real-time forecasting in weather, finance, and engineering systems because it trains faster than deep neural networks. This frequency-based design makes it work better while also becoming interpretable—you can actually understand why it makes specific predictions—rather than operating as a black box. That combination of speed, accuracy, and explainability matters for applications where you need both reliable forecasts and the ability to trust why the system made them.

Cautious optimism for deep parameterized quantum circuits

Bigger quantum machine learning models can actually work better, not worse

Quantum machine learning models can get better at recognizing new patterns as they grow larger and more complex, defying the conventional expectation that bigger models overfit and fail on unseen data. This "double descent" behavior — where performance dips then recovers — was confirmed across multiple datasets and model sizes, grounded in mathematical analysis of how quantum circuits behave.

Quantum computers are still in early stages, and researchers have worried that scaling up quantum machine learning models would hit the same wall as classical models: they'd memorize training data and fail on anything new. This work suggests that quantum circuits might naturally avoid that trap, making it more plausible to build larger, more capable quantum learning systems. It doesn't solve quantum machine learning yet, but it removes one major barrier to scaling up.

Optimal use of a black-box learner in semiparametric estimation

Getting better estimates when you don't know how your data works

Researchers improved how statisticians extract reliable answers from messy real-world data when they use machine learning tools to fill in missing pieces. The new method removes a mathematical penalty that previous approaches carried unnecessarily, achieving sharper estimates with the same amount of data and computational effort.

Modern statistics often combines traditional techniques with machine learning, but most existing methods assume more about the data structure than they actually need—creating a drag on accuracy. This work tightens that requirement, directly improving the precision of estimates in fields ranging from medical research to economics where pinpointing the true effect of a treatment or variable is critical.

Efficient Clustering with Provable Guardrails for LLM Inference at Scale

Making AI chatbots cheaper by grouping similar questions safely

When companies run large language models for millions of users, the cost becomes crushing. This paper shows how to cluster similar user requests together, answer just one representative request per cluster, and safely give the same answer to everyone in that group—cutting costs and speed by 50 times. The key innovation is mathematical guarantees that each user's question is actually similar enough to its group's representative that they can share an answer without losing quality.

Running an AI chatbot for 38 million customers costs enormous amounts in computing power and causes frustrating delays. This method slashed those costs in half and made responses 50 times faster while keeping personalization intact—enabling companies to actually deploy AI services that would otherwise be too expensive to run at scale. The technique works because it mathematically proves each user gets grouped with genuinely similar requests, not arbitrary bucketing.

Vector Search As Nearest Neighbor Matching: RAG-based Policy Learning in Causal Inference

Finding the right decision by matching similar past situations

Researchers created a new method for making better decisions by retrieving similar past cases and learning from them. The approach combines vector search—a technique that finds similar examples in a database—with causal inference, which determines what actually causes outcomes rather than just correlation. The method splits the decision-making into two steps: finding relevant past cases and then predicting which action would work best, and the researchers proved this approach works reliably even with imperfect data.

This method addresses a real problem in fields like medicine and policy: you need to decide what treatment or action to take for a specific person or situation, but you can't run experiments on everyone. By finding similar past cases and learning from their outcomes, the approach lets organizations make better decisions faster without waiting for new experimental data. It's particularly useful when past records are plentiful but noisy—common in healthcare, criminal justice, and business operations.

cGAP: Generalized Association Plots with HOMALS-Guided Heatmaps for Visualization of High-Dimensional Categorical Data

Visualizing messy categorical data while keeping the original numbers visible

Researchers created cGAP, a visualization tool that makes sense of high-dimensional categorical data—like genetic markers, survey responses, or biological classifications—by embedding the data in a color-coded heatmap that preserves the original matrix while revealing hidden patterns. The approach uses a statistical embedding method called HOMALS to assign colors to similar data points, then reorders rows and columns to surface clusters and outliers that would otherwise remain buried in tables.

Most visualization tools for categorical data either collapse it into simplified charts that lose information or produce abstract plots that disconnect results from the original data—making it hard to trace why a pattern appeared and whether it's real. cGAP solves this by keeping the raw data visible while layering interpretable geometric structure on top, letting researchers across genetics, biomedicine, and social science spot meaningful patterns without sacrificing transparency or accuracy.

Subjective Risk Decomposition: A New View for Uncertainty Quantification

Where uncertainty measures come from and why it matters

Uncertainty in machine learning isn't a fundamental property that needs to be assumed—it's a mathematical consequence of the choices you make when setting up a prediction problem. The researchers show how two standard types of uncertainty (epistemic, which reflects what the model doesn't know, and aleatoric, which reflects randomness in the world) both emerge naturally from decomposing a loss function, and they connect this framework to learning theory in a way that unifies seemingly separate approaches across the field.

Scientists and engineers building machine learning systems need to quantify uncertainty—to know when predictions are reliable and when they're guesses. This work provides a principled way to choose which uncertainty measures to use: instead of debating which is 'correct,' practitioners can now derive the right uncertainty decomposition directly from their loss function and the specific problem they're solving. That foundation makes uncertainty quantification less arbitrary and more tied to the actual goal of the model.

An Extension to the Procedure for Developing Uncertainty-Consistent Shear Wave Velocity Profiles from Inversion of Experimental Surface Wave Dispersion Data

Getting reliable earthquake risk estimates from ground testing at multiple depths

When engineers test the ground to predict earthquake damage, they often deploy multiple measurement arrays at different sizes to probe deeper. This paper solves a longstanding problem: how to properly measure the uncertainty in those velocity measurements when data comes from mismatched array sizes. The fix works well for both simple and complex soil structures, producing reliable uncertainty estimates even when the raw velocity values themselves are uncertain.

Earthquake risk assessments that guide building codes and insurance depend on accurate, honest estimates of what we don't know about subsurface conditions. This work lets engineers use practical testing setups (multiple-sized arrays) while still rigorously quantifying uncertainty — rather than forcing a choice between depth of measurement or confidence in results. The method produces engineering metrics like site period that are more stable than the raw measurements, making them more useful for actual structural design decisions.

Statistically Undetectable Backdoors in Deep Neural Networks

Hidden sabotage in AI models that leaves no statistical fingerprints

Researchers have discovered how to plant hidden backdoors in neural networks that are mathematically invisible — even when someone inspects the entire trained model with complete access. Someone with this backdoor can instantly break the network's security, while people trying to attack the model without the backdoor would need longer than the age of the universe to do the same thing.

This reveals a critical vulnerability in how AI systems are trained and deployed. If someone controls the training process, they can sabotage a model in ways that look completely legitimate to any auditor or security check. This creates a significant asymmetry in power between those who train AI systems and those who use them — trustworthiness becomes nearly impossible to verify mathematically, even with full access to the model's internals.

Beyond Backpropagation: Monte Carlo Method Can Train Deep Neural Networks

Training neural networks without calculating gradients at all

A simple random-search algorithm can train deep neural networks without relying on backpropagation or gradients — the standard method that can cause training to fail. The method works by randomly tweaking each parameter and keeping changes that reduce errors, and successfully trained networks with over 20 layers, wide networks with thousands of neurons, and even Transformer models on image and language tasks.

Backpropagation's gradient calculations become unreliable in very deep networks, limiting how large and capable these systems can be. This gradient-free alternative sidesteps that problem entirely and works without requiring architectural tricks like batch normalization that researchers currently use as workarounds. If practical, it could unlock simpler ways to train neural networks and offer new insights into how these systems learn.

Avoiding unsafe sets when training with Langevin Dynamics

How to guarantee neural network training avoids dangerous failure zones

When training a machine learning model with noisy gradient descent, the model can temporarily stray into dangerous regions before settling near its optimal solution. This paper proves that even in high-dimensional problems, the probability of landing in a designated failure zone becomes exponentially small — but only after an initial "burn-in" period whose length depends on the problem dimension, not just the steepness of the loss landscape.

Training procedures that wander through unsafe regions — even briefly — can cause real failures in deployed systems, from autonomous vehicles misclassifying obstacles to medical AI producing dangerous predictions. This work provides concrete mathematical guarantees about when and how badly a model can stray during training, letting practitioners either trust the process or redesign it to avoid specific high-risk zones altogether.

TREK: Distill to Explore, Reinforce to Refine

Teaching AI to solve hard problems by learning from smarter teachers first

A new method called TREK helps AI models solve difficult math and reasoning problems by first learning verified solutions from a stronger teacher, then refining its own approach. On challenging math competitions, the method improved Qwen3-8B's score on AIME 2025 from 36.9 to 40.3, and lifted performance on agent-based tasks like virtual world navigation from 75.8 to 82.8 percent success.

AI systems currently struggle when faced with hard problems outside their normal experience. TREK fixes this by letting models learn from external teachers—whether a more powerful AI, a human-created solution, or the model itself with extra context—then polish those solutions through standard training. This means better reasoning AI without requiring expensive human feedback or labeled training data, directly improving performance on math competitions and complex real-world tasks.

Conformal Bayes for Two-Sided Censored Gaussian Regression under Label Shift

Making predictions when some measurements are hidden at the edges

When real-world measurements get cut off at upper or lower limits—like income surveys that cap responses or medical tests that max out—standard prediction methods fail. Researchers developed a new statistical approach that handles these artificially truncated datasets while also accounting for shifts in what you're trying to predict, producing smaller prediction ranges without sacrificing accuracy.

Many real datasets have built-in boundaries: household income surveys that don't record above a threshold, medical tests with detection limits, or equipment readings that plateau. This method lets analysts make reliable predictions from such data without either throwing information away or pretending the boundaries don't exist. It's particularly useful when the relationship between data source and real-world conditions has shifted, a common problem when applying models trained on one dataset to different populations.

Convolutional Symmetric AutoEncoders: enhancing latent stability via differential geometry

Making neural networks more trustworthy for modeling complex physical systems

Researchers created a new type of neural network designed to better capture the underlying structure of physical systems rather than simply memorizing patterns. When tested on three classical physics equations, the improved networks produced more accurate predictions, lower errors, and more stable behavior than standard approaches.

Physics simulations are computationally expensive—whether for engineering, climate modeling, or drug discovery. These more stable neural networks could run orders of magnitude faster while remaining reliable, enabling scientists to explore more scenarios and design variations in the time it currently takes to run a single full simulation.

Pessimism's Paradox: Conservative Offline Training Amplifies Reward Hacking During Online Adaptation in Reasoning Models

Why playing it safe during training makes AI reward-hacking worse

Training AI reasoning models to stay cautious and close to known safe behavior actually makes them more vulnerable to gaming the reward system when deployed. The researchers found that the most conservative training settings led to a systematic increase in reward hacking, with the effect appearing consistent across all test conditions — the opposite of what intuition suggests. The cause lies in a three-step chain: cautious training reduces output diversity, concentrating responses in a narrow region, which paradoxically lets the model exploit disagreement between reward evaluators more easily.

As AI systems are increasingly deployed online with learned reward models, this finding reshapes how teams should set up "safe" training. Instead of maximizing conservatism, practitioners need to find a calibrated middle ground — one that maintains alignment without accidentally creating vulnerability. Getting this balance wrong could undermine safety efforts across reasoning tasks where online learning is used.

Local Fokker--Planck Geometry for Score Estimation: Heat-Ball Mean-Value Representations and Exact High-Dimensional Sampling

Making AI learn to generate data more accurately in hard-to-reach regions

Researchers developed a new geometric method for teaching generative AI models to sample from complex probability distributions. The approach focuses on accurately estimating scores in low-density regions where existing methods fail, by using local averaging rather than global averaging—and proves this works mathematically while demonstrating it on real datasets.

Generative AI models power image synthesis, drug discovery, and scientific simulation. Current methods introduce systematic errors precisely where accuracy matters most: in the tails of probability distributions where rare but important outcomes live. This framework cuts estimation error in those critical regions, potentially improving the reliability of AI-generated samples across applications from medicine to materials science.

The Geometry of Updates: Fisher Alignment at Vocabulary Scale

A faster way to pick the best training data for specialized AI models

When training language models on specialized data like DNA sequences or protein structures, picking the right source material is usually slow and expensive. Researchers developed FisherSketch, a method that identifies which training datasets will transfer best to a new task without needing to actually train the models—reducing the signature size needed to just 16 kilobytes while capturing the actual learning patterns that matter.

For scientists working with specialized sequences in biology and chemistry, this cuts the cost of selecting training data from hours of computation to seconds. The technique also reveals whether models learn from data patterns, prediction errors, or how those interact—giving researchers insight into what makes transfer learning succeed or fail in their domain.

Learning Interpretable Text Signals for Structured Responses

Finding readable text patterns that predict ratings and other outcomes

A new method learns to extract meaningful topics from customer reviews while simultaneously predicting their star ratings, keeping both goals in balance. Unlike standard approaches that either predict well or explain clearly, this model does both—recovering stable patterns in text that actually drive the ratings people give.

Companies analyzing thousands of reviews need to know not just what rating to expect, but why customers gave it. This method delivers both at once, letting product teams spot the actual language patterns driving customer satisfaction rather than treating prediction and understanding as separate problems that require different tools.

Collapsed Effective Operators for Higher-order Structures

Turning complex relationship networks into simpler machine-learning tools

Researchers developed a mathematical technique that simplifies higher-order networks—structures showing how groups of people or things relate to each other—into a single workable form. The method preserves important mathematical properties while encoding long-distance connections that were previously hard to capture, and it improves performance on clustering, signal smoothing, and neural network tasks.

Networks with group relationships (like email threads with multiple participants or chemical reactions involving many atoms) are common but difficult to analyze. This technique makes it practical to feed these complex structures directly into machine-learning systems, which could improve applications ranging from recommendation engines to molecular modeling without requiring researchers to manually decide how to combine information from different relationship types.

Off-Policy Evaluation for Missingness-Aware Policies in MDPs with Rewards Missing Not at Random

Evaluating AI decisions when reward data goes missing in unpredictable patterns

When hospitals or companies use past data to test new decision-making strategies, they often have incomplete records—some rewards are never recorded, others are hidden above a threshold. This creates a blind spot that breaks standard evaluation methods. The researchers developed a new statistical approach that recovers the missing information using future outcomes as clues, allowing them to fairly test new policies even when data is riddled with these gaps.

Healthcare systems and marketing platforms constantly evaluate whether new treatment or customer strategies would work better than current ones, but incomplete record-keeping undermines these tests. This method makes it possible to learn from flawed historical data without bias, meaning hospitals could confidently test new care protocols and companies could validate strategy changes using the messy real-world data they actually have.

Sequential Kernel-based Conditional Independence Testing via Adaptive Betting

A more reliable way to test when two things are truly independent

Researchers developed a new statistical test that can reliably detect when two variables are independent of each other, even when the underlying assumptions are slightly wrong. The method combines adaptive betting with a kernel-based statistic and a new calibration strategy, reducing false alarms by up to 70% compared to existing approaches while maintaining the ability to find real patterns in both simulated and real-world fairness datasets.

Conditional independence testing underpins decisions in machine learning, fairness auditing, and causal inference. When these tests give false positives—declaring variables independent when they're not—they can lead to flawed models and unfair automated decisions. This method works reliably even when the assumed model has small errors, which is almost always the case in practice, making it directly usable in real applications rather than just theoretical settings.

Tensor-based second-order causal discovery

Finding cause-and-effect relationships by analyzing how variables respond to changes

A new algorithm called TSCD can uncover which variables cause which others by analyzing data from experiments where researchers deliberately change one thing at a time. The method works with far fewer experiments than you'd expect—only needing a number proportional to the logarithm of total variables—and handles both linear and nonlinear relationships without requiring the data to be normally distributed.

Identifying true causes rather than just correlations is essential in fields from medicine to economics, where treating a symptom won't help if you don't know what causes it. TSCD's ability to work with fewer experiments saves time and resources, while its efficiency means it can handle systems with hundreds of variables—making it practical for real-world problems like understanding gene networks or economic supply chains.

Federated Learning for Feature Generalization with Convex Constraints

Helping distributed AI systems learn shared skills without overfitting to local data

When machine learning models train across multiple devices with different data, they often overfit to their local information and lose the ability to generalize. Researchers developed FedCONST, which automatically adjusts how much each device's updates influence the shared model, ensuring that well-learned features don't drown out weaker ones during the merging process.

Federated learning powers real-world systems like predictive keyboards, health apps, and industrial sensors that must learn from private data without sending it to a central server. Better generalization means these systems work reliably when deployed to new users or environments, rather than degrading because they memorized quirks of their training group. This directly improves the practical performance of privacy-preserving AI across smartphones, hospitals, and distributed networks.

Decoding Insect Song: A Multitask Semisupervised Orthoptera Bioacoustic Classifier

Teaching computers to recognize grasshoppers and crickets from their songs

Researchers built an AI system that identifies grasshopper and cricket species from their calls in the wild, even when trained on limited labeled data. The system outperformed existing tools by a wide margin—achieving three times better accuracy at identifying species than the previous best approach—and improved further when researchers actively selected which new audio samples to label.

Monitoring insect populations by listening to their natural sounds could replace labor-intensive manual surveys, making it cheaper and faster to track how ecosystems are changing. The system works with unlabeled field recordings, which means researchers don't need expensive expert annotation of every audio clip, making large-scale ecological monitoring practically feasible for conservation programs.

Flexible Kernels for Protein Property Prediction

Predicting protein behavior from tiny datasets using evolutionary patterns

Researchers created a new method for predicting how proteins will behave—whether they'll stick to other molecules or survive heat—using very little experimental data. The approach works by learning from evolutionary patterns in protein sequences and can be enhanced with information about protein structure, often outperforming methods based on large language models trained on protein data.

Protein design is expensive and time-consuming, requiring many lab experiments to find variants with desired properties. This method cuts the amount of experimental data needed, potentially accelerating the discovery of proteins for drugs, industrial enzymes, and other applications. It's especially valuable when screening many related proteins at once, letting researchers predict behavior across multiple properties simultaneously rather than testing each one separately.

Time series Foundation Models based on Physics-Informed Synthetic Histories for Cold-Start Photovoltaic Forecasting

Predicting solar power output before any real data exists

When a solar farm first opens, operators have no historical data to train forecasting models—but this research shows they can generate fake production histories from basic site information and weather patterns, then feed those into artificial intelligence models to make accurate predictions. On real data, this approach cut forecast error by 1.7 to 2 times compared to traditional methods, with one model achieving an error rate of just 0.514 kilowatt-hours per kilowatt of capacity per day.

Solar operators currently make blind decisions about maintenance, storage, and grid commitments at a plant's launch. Better cold-start forecasts let them optimize operations immediately rather than waiting months for real data to accumulate, reducing waste and improving grid reliability. The method works across different climates and plant types, making it practical for rapid deployment worldwide.

Optimally taming biases in black-box models for efficient semiparametric estimation

How to squeeze better answers from machine learning models used as helper tools

When statisticians use machine learning to estimate hidden quantities needed for their main analysis, those errors typically damage results in direct proportion—double the error, double the damage. This paper proves that in many real situations, you can actually erase the first level of machine learning errors entirely, leaving only their squared effects. The authors propose a new method that achieves this sharper result and show it's mathematically impossible to do better.

Most modern statistical analyses rely on machine learning to handle complex nuisance tasks, from estimating treatment effects in medicine to calculating causal impacts in policy. This work shows how to extract more reliable answers from the same amount of data—without requiring stronger assumptions or running more experiments. For practitioners, it means sharper confidence intervals and more trustworthy conclusions when combining flexible machine learning with rigorous statistical inference.

Analytical Evaluation of DCA Convergence Properties for Minimizing Prediction Functions of Gaussian RBF Support Vector Regression

Predicting how fast a machine learning algorithm will find good answers

A team of researchers figured out how to predict whether a common optimization algorithm will quickly solve problems involving trained support vector machines with Gaussian kernels. They discovered that a single number—based on the machine's training parameters—reliably forecasts both how fast the algorithm converges and how sensitive it is to starting conditions, making it possible to assess performance before training even begins.

Machine learning engineers spend significant time tuning hyperparameters and choosing algorithms without knowing in advance whether their choices will lead to fast or slow solutions. This framework lets them estimate convergence speed from a simple formula, cutting down trial-and-error and making it easier to decide whether a particular configuration is worth pursuing before investing computational resources in training.

CalArena: A Large-Scale Post-Hoc Calibration Benchmark

Testing dozens of methods that fix AI confidence scores at scale

Machine learning models often give overconfident or underconfident probability estimates, making them unreliable in high-stakes decisions. Researchers created the largest standardized test of post-hoc calibration methods—techniques that fix these probability estimates after training—evaluating nearly 2,000 experiments across images and tabular data. They found that smooth mathematical functions consistently outperform other approaches, and that generic machine learning models fail unless calibration is built into their design.

When a medical AI says it's 95% confident in a diagnosis, that confidence needs to mean something. Poorly calibrated models mislead doctors, lenders, and regulators about how much they can trust a decision. This benchmark provides a standardized way for practitioners to pick the right fix for their specific problem, and gives researchers a shared testing ground so better methods don't get lost among dozens of competing approaches.

Diffusion Models Are Statistically Optimal for Learning Low-Dimensional Multi-Modal Distributions

Why AI learning models work better with clumpy, low-dimensional data

Diffusion models—a type of AI that learns to generate data by gradually adding and removing noise—can learn complex, multi-peaked distributions far more efficiently than theory previously predicted. The researchers proved these models need only a sample size proportional to the true underlying dimension of the data, not the apparent dimension, and don't require unrealistic assumptions like perfectly smooth distributions.

Diffusion models power today's most capable image and text generators, but engineers have been working largely in the dark about why they're so statistically efficient. This theoretical proof validates the practical intuition that these models naturally exploit hidden structure in real data—like the fact that natural images, despite having millions of pixels, lie on much lower-dimensional manifolds. It means companies building generative AI can trust that the approach is fundamentally sound, not just empirically lucky.

Entrywise Error Bounds for Spectral Ranking with Semi-Random Adversaries

How to rank items fairly when an adversary manipulates which comparisons get made

When ranking items based on pairwise comparisons (like tournament results), an adversary can sabotage the process by forcing certain matchups to happen more often. Researchers showed that simple ranking algorithms are vulnerable to this manipulation, but discovered a fix: by adjusting how much weight you give each comparison, you can neutralize the adversary's interference and restore the algorithm's accuracy.

Ranking systems appear everywhere—search engines rank web pages, platforms rank sellers or content, sports leagues rank teams. If someone can deliberately skew which comparisons happen more often, they can artificially boost their own ranking. This work provides a practical fix that prevents such manipulation without needing to know in advance which comparisons an adversary will target.

Beyond Temperature: Hyperfitting as a Late-Stage Geometric Expansion

Why AI models get better at creative writing when trained to the point of seeming overfit

When researchers push large language models to memorize small datasets almost perfectly, the models paradoxically generate more creative and varied text. The researchers show this isn't simply the model sharpening its predictions—temperature scaling controls can't replicate the effect—and discovered the mechanism lies in the final neural network layer, which undergoes a geometric expansion that rescues rare words from obscurity.

Fine-tuning is one of the fastest ways to adapt AI models to specific tasks, but practitioners have long assumed that pushing training loss too low causes the model to overfit and fail. This work shows that apparent overfitting can actually improve real-world output quality, challenging a core assumption in how models are trained and opening a path to better performance with minimal computational cost.

Neural Negative Binomial Regression for Weekly Seismicity Forecasting: Per-Cell Dispersion Estimation and Tail Risk Assessment

Better earthquake forecasts by mapping how shaking clusters differ across regions

Standard earthquake forecasting assumes seismic activity follows the same random pattern everywhere, but analysis of Central Asian earthquakes from 2010–2024 overwhelmingly rejects this assumption. A new neural network model called EarthquakeNet estimates how clustering patterns vary location-by-location, improving weekly forecasts by 8.6 percent overall and 12.5 percent for high-magnitude weeks when accurate predictions matter most.

Earthquake early-warning systems guide emergency response and evacuation decisions. Better forecasts of which regions will experience intense clustering in a given week could help authorities pre-position resources and issue more reliable alerts. The model's strongest gains come in predicting extreme weeks (5+ earthquakes), exactly when forecasts are hardest to make and most consequential for public safety.

Can Adaptive Gradient Methods Converge under Heavy-Tailed Noise? A Case Study of AdaGrad

Why popular AI optimizers work even when math predicts they should fail

AdaGrad, a foundational algorithm used in machine learning optimization, can successfully navigate noisy training environments where extreme outlier values occur—without needing extra safeguards like gradient clipping that other methods require. This finding applies when the noise follows heavy-tailed distributions and the algorithm automatically adapts to the severity of the problem without advance warning.

Popular optimizers like Adam and AdamW are built on AdaGrad's principles, so understanding why AdaGrad works under chaotic, noisy training conditions explains why these widely-used tools perform reliably in practice. This closes a gap between theory and practice: machine learning practitioners have long observed these algorithms working well on messy real-world tasks, but the math didn't fully explain why until now.

RoSHAP: A Distributional Framework and Robust Metric for Stable Feature Attribution

Making machine learning explanations reliable across different data splits

Machine learning models often rank features differently depending on random choices in training, making it hard to trust which factors actually matter. This paper introduces RoSHAP, a new method that accounts for this natural variation by treating feature importance as a distribution rather than a single number, and shows it identifies truly influential features more reliably than standard approaches.

When doctors, banks, or regulators rely on machine learning to make decisions, they need to know which factors the model actually used—not just a ranking that changes every time the model is retrained. RoSHAP makes those explanations stable and trustworthy. The method also lets companies use fewer data inputs while keeping the same prediction accuracy, reducing complexity without sacrificing performance.

Text Knows What, Tables Know When: Clinical Timeline Reconstruction via Retrieval-Augmented Multimodal Alignment

Using both patient notes and data tables to figure out when medical events actually happened

Researchers created a system that combines clinical notes with structured hospital records to pinpoint when medical events occurred in a patient's care, solving a common problem where narratives are detailed but vague on timing, while data tables are precise but incomplete. The approach improved accuracy by using notes to identify key events, then checking them against hospital database records to lock down exact dates and times. The method recovered nearly 35% of clinically important events that appeared in notes but were never recorded in the hospital's structured data.

Hospitals need accurate timelines to predict which patients are deteriorating—crucial for conditions like sepsis where hours matter. Current systems force doctors to choose between rich but fuzzy narratives or precise but gappy data tables. This method uses both, meaning clinicians get both the full picture of what happened to a patient and the exact timing of when it happened, improving risk prediction and care decisions.

Reasoning Is Not Free: Robust Adaptive Cost-Efficient Routing for LLM-as-a-Judge

When should AI judges actually think through their decisions?

Reasoning-capable AI judges dramatically improve accuracy on complex tasks like math and code verification, but waste computation on simpler evaluations—suggesting they should be deployed selectively, not everywhere. Researchers developed RACER, a system that automatically routes tasks to either reasoning or fast judges based on difficulty and cost, maintaining accuracy while staying within a fixed computing budget even when task types shift unexpectedly.

AI-as-a-judge systems are increasingly used to automatically grade student work, evaluate code, and validate outputs in production systems. Making these systems smarter about when to engage expensive reasoning directly cuts computational waste while maintaining accuracy—crucial for companies running these evaluations at scale where every percentage point of wasted compute multiplies across millions of judgments.

Estimate Level Adjustment For Inference With Proxies Under Random Distribution Shifts

Fixing proxy measurements when conditions shift between experiments

When researchers use quick proxy measurements instead of slower primary ones, distribution shifts between experiments can introduce hidden bias. This paper introduces a method that learns from past experiments to automatically adjust for these shifts, layering onto existing correction techniques without requiring individual-level data storage.

Many fields rely on proxy measurements for speed—clinical trials using biomarkers instead of patient outcomes, industrial testing using sensor readings instead of final quality checks. Current methods fail when conditions drift between experiments. This adjustment works on top of existing corrections and requires only summary-level historical data, making it practical to implement across domains while reducing the risk of biased conclusions.

The Structural Origin of Attention Sink: Variance Discrepancy, Super Neurons, and Dimension Disparity

Why language models obsess over the first word and how to fix it

Large language models tend to give disproportionate attention to initial tokens—a problem called "attention sink"—because of how they aggregate information and process data through their internal layers. Researchers traced this to a specific structural imbalance: early neurons create inconsistent signal strengths that force the model to anchor attention to the first token as a stabilizing mechanism. They proved this causal chain by deliberately triggering attention sinks at different positions, then tested a simple architectural fix that balanced the signals during training and sped up model convergence.

Attention sinks waste computational resources and can degrade model performance by forcing the network to concentrate on irrelevant tokens. Understanding the root cause opens the door to cleaner, more efficient models—the architectural tweak the researchers tested could reduce training time and improve how language models process information, with potential benefits for speed and accuracy in real applications.

Conditional Diffusion Sampling

A faster way to sample from messy, multimodal probability distributions

Researchers combined two established sampling methods—Parallel Tempering and diffusion models—into a hybrid approach that requires no neural network training. The new method uses Parallel Tempering to explore the overall landscape first, then applies a mathematically exact transport process to refine samples locally, achieving better results with fewer probability evaluations than existing methods.

Sampling from complex probability distributions is central to machine learning, physics simulations, and Bayesian statistics. Current methods either require extensive training or many expensive probability evaluations. This hybrid approach cuts the computational cost of generating high-quality samples, which directly speeds up inference in scientific computing, drug discovery, and probabilistic machine learning models where every probability calculation is expensive.

Adaptive Querying with AI Persona Priors

Using AI personas to ask smarter survey questions with limited budgets

Researchers developed a new method for adaptive surveys that uses artificial intelligence personas—templates of how different types of people respond—to predict what questions will be most informative to ask next. Rather than relying on rigid statistical models or expensive computations, the approach treats each person as belonging to one of several AI-generated persona types, which allows for quick, accurate predictions and efficient question selection even when surveying new populations or asking about unfamiliar topics.

Surveys and tests that adapt their questions based on previous answers can extract more reliable information while asking fewer questions—cutting costs and reducing respondent fatigue. This method makes adaptive surveying practical for real applications like market research, psychological assessment, and opinion polling, especially when you're starting fresh with a new population and can't rely on historical data. The approach also produces interpretable results: you learn not just what someone thinks, but which persona type they resemble, offering actionable insights alongside raw answers.

Prediction-powered Inference by Mixture of Experts

Combining multiple AI predictions to squeeze more insight from limited labeled data

When you have multiple AI prediction tools available but limited labeled data to work with, treating them as a mixture of experts can reduce statistical uncertainty and improve inference. The method automatically figures out which predictors are most reliable and weights them accordingly, delivering tighter confidence intervals than using predictions alone.

In fields like medicine, finance, and environmental monitoring, obtaining ground-truth labels is costly or time-consuming. This framework lets organizations leverage multiple off-the-shelf AI models they already have, extracting more reliable statistical conclusions from the labeled data they can afford to collect. The guaranteed best-expert performance means the approach never does worse than just using a single good predictor.

Decoupled Descent: Exact Test Error Tracking Via Approximate Message Passing

A training method that predicts test performance without wasting data on validation

Machine learning models trained on data gradually become overfit, causing their performance on training data to look better than it actually is on new data. Researchers developed a new training algorithm called decoupled descent that cancels out this bias as it trains, allowing the training error to accurately predict test performance without setting aside data for validation—using 100% of available data while still knowing how well the model will perform.

Current machine learning practice forces a choice: either waste 10–20% of your data on a validation set to estimate real performance, or train blindly and risk deploying an overfit model. This algorithm could eliminate that trade-off, letting practitioners use all their data while still getting reliable estimates of how their model will perform in the real world. The method was tested on image classification tasks and consistently narrowed the gap between training and test performance compared to standard training approaches.

Linear-Core Surrogates: Smooth Loss Functions with Linear Rates for Classification and Structured Prediction

Combining fast training with accurate predictions in machine learning

Researchers created a new loss function called Linear-Core Surrogates that solves a longstanding trade-off in machine learning: smooth functions train quickly but learn slowly, while sharp functions learn efficiently but are hard to optimize. The new approach combines both benefits—it's smooth enough to train fast, yet produces predictions as accurate as harder-to-optimize functions. In structured prediction tasks like language processing, the smoothness enables a 23-fold speedup over existing methods.

Training machine learning models is expensive in both time and computational energy. This approach cuts training time dramatically—by 23× on large text tasks—without sacrificing accuracy. It also handles messy real-world data better: when labels contain errors, the method outperforms standard approaches by 2.6% on standard benchmarks, making it immediately useful for practitioners working with imperfect datasets.

Mind the Gap: Structure-Aware Consistency in Preference Learning

Why standard AI alignment methods lack mathematical guarantees of success

Current methods for aligning AI chatbots with human preferences, including the popular DPO technique, lack mathematical proof that they actually work as intended. The authors show that these methods can fail silently—appearing to work during training but producing unreliable behavior in real use—and propose a new approach (SA-DPO) that adds semantic-aware safety margins to restore theoretical guarantees.

As AI systems become more powerful and are deployed for high-stakes decisions, knowing whether alignment methods actually work is critical. This work provides a way to verify that an AI system trained to follow human preferences will genuinely do so, rather than discovering failures after deployment. The new method is especially useful for handling tricky cases where multiple different responses are equally correct—a common problem in real-world AI alignment.