SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–90 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
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4Code0
Learning Rules Explaining Interactive Theorem Proving Tactic PredictionCode0
Distance-Adaptive Quaternion Knowledge Graph Embedding with Bidirectional RotationCode0
Formal Development of Safe Automated Driving using Differential Dynamic LogicCode0
Learning to Prove Theorems via Interacting with Proof AssistantsCode0
α-Rank: Multi-Agent Evaluation by EvolutionCode0
StepProof: Step-by-step verification of natural language mathematical proofsCode0
GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic EvaluationCode0
Hierarchical Attention Generates Better ProofsCode0
Calibration of P-values for calibration and for deviation of a subpopulation from the full populationCode0
A Unified Parallel Algorithm for Regularized Group PLS Scalable to Big DataCode0
A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient ConditionCode0
SciEx: Benchmarking Large Language Models on Scientific Exams with Human Expert Grading and Automatic GradingCode0
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary ProofsCode0
Premise Selection for Mathematics by Corpus Analysis and Kernel MethodsCode0
Show:102550
← PrevPage 2 of 2Next →

No leaderboard results yet.