SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 90 papers

TitleStatusHype
ODGS: 3D Scene Reconstruction from Omnidirectional Images with 3D Gaussian SplattingsCode2
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal VerificationCode2
FormalAlign: Automated Alignment Evaluation for AutoformalizationCode1
Simple but Effective Compound Geometric Operations for Temporal Knowledge Graph CompletionCode1
TransERR: Translation-based Knowledge Graph Embedding via Efficient Relation RotationCode1
Sharpness-Aware Minimization Alone can Improve Adversarial RobustnessCode1
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsCode1
Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning methodCode1
IsarStep: a Benchmark for High-level Mathematical ReasoningCode1
AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm IntelligenceCode1
Differential Machine LearningCode1
BreastScreening: On the Use of Multi-Modality in Medical Imaging DiagnosisCode1
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
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement—0
Identification of Probabilities of Causation: A Complete Characterization—0
Provably safe and human-like car-following behaviors: Part 2. A parsimonious multi-phase model with projected braking—0
A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient ConditionCode0
Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem—0
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
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 1 of 2Next →

No leaderboard results yet.