SOTAVerified

Mathematical Proofs

Papers

Showing 61–70 of 90 papers

TitleStatusHype
On the uncertainty principle of neural networks—0
Formal Development of Safe Automated Driving using Differential Dynamic LogicCode0
Efficient Feedback and Partial Credit Grading for Proof Blocks Problems—0
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 Framework—0
Wasserstein GANs with Gradient Penalty Compute Congested Transport—0
Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search—0
A Computational Model of Infant Learning and Reasoning with Probabilities—0
Show:102550
← PrevPage 7 of 9Next →

No leaderboard results yet.