Research ideas

Every idea extracted from recent arXiv mathematics papers — verified and unverified. Click an idea to open its full card; badges show the empirical verdict.

2 ideas found

Status: Mechanism confirmed, baseline not beaten Solves: Inference speedup ML: Ssm Clear all

△ Mechanism confirmed, baseline not beaten 2026

Certified Temporal Budget for Neural Control

Attach a learned controller to a physical or simulated plant and use a continuous safety certificate to compute a conservative remaining-time budget before the current action or latent prediction can become unsafe. Compile this spatial margin into a unit-rate temporal contract, allowing asynchronous inference, batching, or early execution without online rollout integration; trigger a new network evaluation only when the countdown reaches a guard threshold.

Useful7/10

Difficulty5/10

Novelty8/10

Dynamics Stability Inference speedup Accuracy

Paper: Compiling Spatial Certificates into Temporal Contracts for Latency-Aware Control arXiv:2608.25228

△ Mechanism confirmed, baseline not beaten 2026

Gramian-balanced neural SSM compression

Compress the hidden state of a stable neural state-space layer using low-rank controllability and observability Gramians. States that are difficult to excite from the input or weakly visible at the output are removed, producing a smaller recurrent state with a principled input-output preservation criterion.

Useful6/10

Difficulty5/10

Novelty6/10

Memory Memory Inference speedup Accuracy

Paper: A New Generalized Low-Rank Cholesky Factor ADI Algorithm for Large-Scale Stein Equations arXiv:2608.22406