SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 26–50 of 90 papers

TitleStatusHype
Efficient Long-Decoding Inference with Reasoning-Aware Attention Sparsity—0
Efficient Feedback and Partial Credit Grading for Proof Blocks Problems—0
Evolutionary Algorithms Are Significantly More Robust to Noise When They Ignore It—0
Examining the impact of forcing function inputs on structural identifiability—0
Wasserstein GANs with Gradient Penalty Compute Congested Transport—0
The Alignment Trap: Complexity Barriers—0
A Computational Model of Infant Learning and Reasoning with Probabilities—0
Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem—0
AGI Agent Safety by Iteratively Improving the Utility Function—0
Algorithm-assisted discovery of an intrinsic order among mathematical constants—0
An Efficient Data Analysis Method for Big Data using Multiple-Model Linear Regression—0
Anomaly zones for uniformly sampled gene trees under the gene duplication and loss model—0
A Semantic Search Engine for Mathlib4—0
A Swarm Variant for the Schrödinger Solver—0
Autograding Mathematical Induction Proofs with Natural Language Processing—0
Automated Planning Techniques for Elementary Proofs in Abstract Algebra—0
Mathematical Approach in Hybrid Beamforming for ISAC Systems—0
On the uncertainty analysis of the data-enabled physics-informed neural network for solving neutron diffusion eigenvalue problem—0
On the uncertainty principle of neural networks—0
Provably safe and human-like car-following behaviors: Part 2. A parsimonious multi-phase model with projected braking—0
Prover Agent: An Agent-based Framework for Formal Mathematical Proofs—0
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics—0
Secure multiparty computations in floating-point arithmetic—0
Simple Proofs of the Summation and Connectivity Theorems in Metabolic Control Analysis—0
SmartDCA superiority—0
Show:102550
← PrevPage 2 of 4Next →

No leaderboard results yet.