Theory ideas

Provable properties, identifiability and convergence arguments, each attached to a toy numerical demonstration.

✗ Failed on benchmark 2026

Projective Boundary Certificates for Neural Selective Prediction

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
Paper: Exact Risk-Complexity Laws for Projective Boundaries in Scenario Optimization and Distribution-Free Certification arXiv:2609.01355
✗ Failed on benchmark 2026

Conformal Residual Certificates for Neural Rollouts

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
Paper: Certified Feedforward Tracking for Unknown Nonlinear Systems via Invertible Neural Networks arXiv:2608.06419
Unverified 2026

Log-Free Stability Certificate

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
Paper: Logarithmic-Free Moment and Generalization Bounds for Uniformly Stable Algorithms arXiv:2608.09870
Unverified 2026

Large-Deviation Safety Buffer

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
Paper: Decision-Centric Large Deviations for Data-Driven Capital Buffers in Ruin Models arXiv:2607.17732
Unverified 2026

Uniform likelihood confidence head

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
Paper: Beyond Modern Asymptotics for Log-Likelihood Ratios in Logistic Regression arXiv:2608.02507