SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–75 of 90 papers

TitleStatusHype
SNLP at TextGraphs 2022 Shared Task: Unsupervised Natural Language Premise Selection in Mathematical Texts Using Sentence-MPNet—0
Solving constraint-satisfaction problems with distributed neocortical-like neuronal networks—0
Statistical Guarantees in Synthetic Data through Conformal Adversarial Generation—0
Theorem Prover as a Judge for Synthetic Data Generation—0
Total-effect Test May Erroneously Reject So-called "Full" or "Complete" Mediation—0
Towards Provably Secure Encrypted Control Using Homomorphic Encryption—0
Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search—0
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs—0
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
Epistemic Phase Transitions in Mathematical ProofsCode0
A New Approach Towards AutoformalizationCode0
Show:102550
← PrevPage 3 of 4Next →

No leaderboard results yet.