✗ Failed on benchmark
2026
Construct a neural acceptance or abstention set from calibration samples together with an explicit boundary map selecting the samples that determine the set. If the map is proper projective and its cross-sample complexity profile is stable, the conditional violation risk has an exact beta law indexed by boundary size rather than network parameter count. This provides a falsifiable, distribution-free certificate for neural selective classifiers and learned safety filters.
Useful8/10
Difficulty5/10
Novelty7/10
△ Mechanism confirmed, baseline not beaten
2026
Attach a finite-sample lower safety certificate to the trajectory selected by a neural planner or policy by calibrating the difference between predicted and realized clearance. A lower-tail CVaR of sampled neural predictions can provide the raw margin, while conformal calibration subtracts an empirical correction that absorbs predictor bias and sampling error.
Useful8/10
Difficulty4/10
Novelty5/10
△ Mechanism confirmed, baseline not beaten
2026
Wrap policy training or deployment with a distribution-level statistical verifier that tests whether a candidate neural policy violates either a performance threshold or any safety constraint with probability at most \(\varepsilon\). The verifier returns a policy only after obtaining a high-confidence upper bound on the violation rate, making safety a measurable acceptance criterion rather than an average reward penalty.
Useful8/10
Difficulty5/10
Novelty6/10
✗ Failed on benchmark
2026
Attach a finite-sample conformal error radius to a neural surrogate of a dynamical or sequence model, and propagate that radius through the model's local sensitivity. The model should expose a calibrated prediction set or abstain whenever the accumulated bound exceeds a task-specific tolerance, making long-horizon failure a measurable coverage event rather than an unobserved drift.
Useful7/10
Difficulty4/10
Novelty6/10
△ Mechanism confirmed, baseline not beaten
2026
Convert an LM's probabilities over a controlled set of verbal continuations into probabilities over application states using a fixed semantic map, then calibrate the resulting state vector on held-out labeled examples. This replaces unconstrained verbal confidence with an auditable posterior estimate whose error can be directly evaluated.
Useful7/10
Difficulty4/10
Novelty5/10
△ Mechanism confirmed, baseline not beaten
2026
Add conformal prediction sets for every action of a contextual policy, then select the action maximizing its worst-case utility over the corresponding set. Calibrate the sets using the outcome generated by this same max-min policy, rather than calibrating each action independently; this directly targets reliable utility under deployment decisions.
Useful7/10
Difficulty5/10
Novelty7/10
Unverified
2026
Attach an exact structural uncertainty report to any best-of-N evaluation: after measuring reliability only for budgets n = 1,...,m, report that deployment reliability at budget N is unresolved by at least B_{m,N}. Use this width to select the smallest audit budget that makes a claimed reliability gap meaningful, or reject model comparisons whose validation budget lies below the square-root-of-N threshold.
Useful6/10
Difficulty3/10
Novelty8/10
Unverified
2026
Evaluate a temporal neural predictor by freezing its prediction before a later exogenous randomisation, then test whether the endpoint residual is systematically ordered by that randomised variable. Under a valid past-only information set, the randomised variable must be conditionally irrelevant to the already committed prediction error; significant ordering indicates leakage, selection bias, or an invalid sufficiency claim.
Useful6/10
Difficulty4/10
Novelty7/10
Unverified
2026
Replace raw Pearson correlation when evaluating a temporal neural predictor with a score measuring how many null standard deviations its Fisher-transformed correlation exceeds. Estimate the null scale from a small set of time-misaligned predictions, then reuse it across context lengths or checkpoints. This prevents models from being rewarded for predicting statistically easy, low-information features and gives a more comparable validation signal across datasets and targets.
Useful6/10
Difficulty3/10
Novelty8/10
Unverified
2026
Use the paper's Lp inequality to construct an empirical certificate for a neural network's generalization gap. Estimate cross-example interaction beta with coordinate-replacement probes and estimate the single-example fluctuation M by conditional resampling; use the resulting certificate for checkpoint selection or as a stability-aware hyperparameter objective.
Useful6/10
Difficulty6/10
Novelty6/10
Unverified
2026
Construct a data-dependent threshold for future cumulative safety violations using the paper's decision-centric large-deviation profile instead of a plug-in estimate. For binary violation increments, the threshold explicitly accounts for both uncertainty in the historical violation rate and the probability that the future process produces an unusually large maximum.
Useful6/10
Difficulty5/10
Novelty8/10
Unverified
2026
Freeze a neural backbone and replace heuristic last-layer uncertainty with a confidence region derived from the paper's uniform logistic likelihood-ratio bound. For a binary head, accept a prediction only when every head parameter in the confidence region gives the same label; otherwise abstain or request an additional label. The threshold also gives a principled stopping rule for fine-tuning the head.
Useful5/10
Difficulty5/10
Novelty6/10