SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–25 of 90 papers

TitleStatusHype
Prover Agent: An Agent-based Framework for Formal Mathematical Proofs—0
StepProof: Step-by-step verification of natural language mathematical proofsCode0
The Alignment Trap: Complexity Barriers—0
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs—0
Beyond Chemical QA: Evaluating LLM's Chemical Reasoning with Modular Chemical Operations—0
Identification of Probabilities of Causation: A Complete Characterization—0
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement—0
Provably safe and human-like car-following behaviors: Part 2. A parsimonious multi-phase model with projected braking—0
Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem—0
A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient ConditionCode0
Hierarchical Attention Generates Better ProofsCode0
Statistical Guarantees in Synthetic Data through Conformal Adversarial Generation—0
Mathematical Approach in Hybrid Beamforming for ISAC Systems—0
Boundary Effects in Biological Planar Networks: Pentagons Dominate Marginal Cells—0
Fence Theorem: Preprocessing is Dual-Objective Semantic Structure Isolator in 3D Anomaly Detection—0
Theorem Prover as a Judge for Synthetic Data Generation—0
Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs—0
Efficient Long-Decoding Inference with Reasoning-Aware Attention Sparsity—0
Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs—0
LemmaHead: RAG Assisted Proof Generation Using Large Language Models—0
Simple Proofs of the Summation and Connectivity Theorems in Metabolic Control Analysis—0
Differentiable Convex Optimization Layers in Neural Architectures: Foundations and Perspectives—0
Formal Language Knowledge Corpus for Retrieval Augmented Generation—0
Distance-Adaptive Quaternion Knowledge Graph Embedding with Bidirectional RotationCode0
How Analysis Can Teach Us the Optimal Way to Design Neural Operators—0
Show:102550
← PrevPage 1 of 4Next →

No leaderboard results yet.