SOTAVerified

Mathematical Proofs

Papers

Showing 6170 of 90 papers

TitleStatusHype
On the uncertainty principle of neural networks0
Formal Development of Safe Automated Driving using Differential Dynamic LogicCode0
Efficient Feedback and Partial Credit Grading for Proof Blocks Problems0
Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II)0
Calibration of P-values for calibration and for deviation of a subpopulation from the full populationCode0
Black-Scholes-Merton Option Pricing Revisited: Did we Find a Fatal Flaw?0
The f-Divergence Reinforcement Learning Framework0
Wasserstein GANs with Gradient Penalty Compute Congested Transport0
Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search0
A Computational Model of Infant Learning and Reasoning with Probabilities0
Show:102550
← PrevPage 7 of 9Next →

No leaderboard results yet.