SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 26–50 of 90 papers

TitleStatusHype
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
Learning Rules Explaining Interactive Theorem Proving Tactic PredictionCode0
Gender Bias of LLM in Economics: An Existentialism Perspective—0
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4Code0
Evolutionary Algorithms Are Significantly More Robust to Noise When They Ignore It—0
Examining the impact of forcing function inputs on structural identifiability—0
SciEx: Benchmarking Large Language Models on Scientific Exams with Human Expert Grading and Automatic GradingCode0
Autograding Mathematical Induction Proofs with Natural Language Processing—0
How Deduction Systems Can Help You To Verify Stability Properties—0
A Semantic Search Engine for Mathlib4—0
Class Information Guided Reconstruction for Automatic Modulation Open-Set Recognition—0
Automated Planning Techniques for Elementary Proofs in Abstract Algebra—0
FastPart: Over-Parameterized Stochastic Gradient Descent for Sparse optimisation on Measures—0
Large Language Models' Understanding of Math: Source Criticism and Extrapolation—0
Show:102550
← PrevPage 2 of 4Next →

No leaderboard results yet.