AI method maps possible overlap among test questions
Preprint: An LLM-based score aligned more closely with psychometric patterns than BLEU and cosine measures in one item bank, while simulated adaptive tests showed a trade-off.
Search
2,451 results
1961–1980
ML compression may cut storage emissions, but the payoff varies
Preprint modeling finds that BOA’s carbon break-even point depends heavily on the electricity mix, storage assumptions and compression performance.
Mathematical proof links Ext conditions to local cohomology
Preprint: Under a regular-sequence assumption, Ext-module membership implies that matching local-cohomology modules belong to the same Serre subcategory.
Preprint reports a formal 2.5-fold bound for compiler inlining
A Rocq-verified model of inlining offers formal guarantees, but it does not test production compilers, hardware or real compile times.
Quantum-Proton Method Reaches 909-Atom Water Clusters
Preprint tests NEO-sDFT against NEO-DFT in water dimers and measures NEO-FDE scaling in larger clusters, with errors growing at the shortest tested displacement.
Transport-system theorem sets conditions for unique energy conservation
Preprint: A mathematical analysis finds when symmetric transport systems have a unique solution that preserves its norm, while rougher coefficients can permit non-uniqueness.
Computer simulation recovers trapped-plasma frequencies from noise
Preprint: Noise-based spectra recovered modeled plasma frequencies across several dimensions, while rotating-wall tests showed nonlinear mode mixing and weak-drive compression responses.
Adaptive safety shields matched an oracle in most environments
An arXiv preprint tests an adaptive shield in five benchmark environments, with safety, reward and exploration varying by setting.
Preprint sets out data-governance test, but has no results
The August 2026 preprint proposes a laboratory comparison of a conventional code pull request and a reviewable “spec-delta” workflow, but reports no condition-level findings.
Framework gives an exact formula and bounds for spline spaces on T-meshes
Preprint: A proof-based method separates local constraints and derives an exact dimension formula plus lower and upper bounds under stated mesh assumptions.
Preprint lays out a framework for resilient wireless systems
A conceptual preprint defines resilience as maintaining and restoring service performance in dynamic, uncertain environments, with four dimensions and six proposed metrics.
Frequency-aware audio model leads on five of seven music reconstruction metrics
Preprint: The stereo autoencoder also posted higher point estimates on all 12 reported automatic generation metrics.
Preprint translates a geodesic identity into CFT equations
An arXiv version 1 preprint derives formal scale equations for a scalar two-point function and finite entanglement between disjoint spherical regions.
Preprint Finds Randomized Caps Improve Delegation's Worst-Case Guarantee
A theoretical analysis reports that random upper limits can outperform fixed caps when a decision-maker knows only the mean of an agent's private information.
Preprint reports faster benchmark runs for fixed-penalty optimizer
The method keeps the classical nonlinear-residual update while offering conditional complexity guarantees for smooth nonconvex equality-constrained problems.
Study tests camera-only drone turn guidance from 360-degree video
Preprint: A CNN trained on views extracted from 360-degree footage predicted continuous yaw corrections, and an offboard test traversed an unseen indoor laboratory.
VDM proof tools report lower unchecked share in corpus test
Preprint: An expanded VDM method adds support for loop, operation-call and recursive-measure cases, while several difficult scenarios remain unresolved.
One-at-a-time data may help predict complex interactions
A preprint reports that DExtrI led on several synthetic and benchmark tests, while its mathematical guarantees depend on stated model assumptions.
Mathematicians show needles can be optimal for some convex curves
An arXiv preprint proves sharp inequalities for selected planar curves but leaves open a higher-dimensional conjecture about flat, disk-like shapes.
New graph-colouring proof establishes two cases of a signed bound
Preprint: A theorem covers treewidth 3, and treewidth 4 when maximum degree is at least 10.