SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 90 papers

TitleStatusHype
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal VerificationCode2
ODGS: 3D Scene Reconstruction from Omnidirectional Images with 3D Gaussian SplattingsCode2
BreastScreening: On the Use of Multi-Modality in Medical Imaging DiagnosisCode1
FormalAlign: Automated Alignment Evaluation for AutoformalizationCode1
Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning methodCode1
Sharpness-Aware Minimization Alone can Improve Adversarial RobustnessCode1
AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm IntelligenceCode1
IsarStep: a Benchmark for High-level Mathematical ReasoningCode1
TransERR: Translation-based Knowledge Graph Embedding via Efficient Relation RotationCode1
Simple but Effective Compound Geometric Operations for Temporal Knowledge Graph CompletionCode1
Differential Machine LearningCode1
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsCode1
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4Code0
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary ProofsCode0
Epistemic Phase Transitions in Mathematical ProofsCode0
StepProof: Step-by-step verification of natural language mathematical proofsCode0
Learning to Prove Theorems via Interacting with Proof AssistantsCode0
Learning Rules Explaining Interactive Theorem Proving Tactic PredictionCode0
A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient ConditionCode0
Formal Development of Safe Automated Driving using Differential Dynamic LogicCode0
Premise Selection for Mathematics by Corpus Analysis and Kernel MethodsCode0
A Unified Parallel Algorithm for Regularized Group PLS Scalable to Big DataCode0
A New Approach Towards AutoformalizationCode0
α-Rank: Multi-Agent Evaluation by EvolutionCode0
SciEx: Benchmarking Large Language Models on Scientific Exams with Human Expert Grading and Automatic GradingCode0
GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic EvaluationCode0
Hierarchical Attention Generates Better ProofsCode0
Distance-Adaptive Quaternion Knowledge Graph Embedding with Bidirectional RotationCode0
Calibration of P-values for calibration and for deviation of a subpopulation from the full populationCode0
FastPart: Over-Parameterized Stochastic Gradient Descent for Sparse optimisation on Measures—0
Fast Quasi-Optimal Power Flow of Flexible DC Traction Power Systems—0
Fence Theorem: Preprocessing is Dual-Objective Semantic Structure Isolator in 3D Anomaly Detection—0
Formal Language Knowledge Corpus for Retrieval Augmented Generation—0
Gender Bias of LLM in Economics: An Existentialism Perspective—0
Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs—0
How Analysis Can Teach Us the Optimal Way to Design Neural Operators—0
How Deduction Systems Can Help You To Verify Stability Properties—0
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement—0
Identification of Probabilities of Causation: A Complete Characterization—0
Interleaver Design for Deep Neural Networks—0
Investor's sentiment in multi-agent model of the continuous double auction—0
Large Language Models' Understanding of Math: Source Criticism and Extrapolation—0
Learning Functions to Study the Benefit of Multitask Learning—0
LemmaHead: RAG Assisted Proof Generation Using Large Language Models—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
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.