SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–90 of 90 papers

TitleStatusHype
Secure multiparty computations in floating-point arithmetic—0
Simple Proofs of the Summation and Connectivity Theorems in Metabolic Control Analysis—0
SmartDCA superiority—0
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
Wasserstein GANs with Gradient Penalty Compute Congested Transport—0
The Alignment Trap: Complexity Barriers—0
A Computational Model of Infant Learning and Reasoning with Probabilities—0
Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem—0
AGI Agent Safety by Iteratively Improving the Utility Function—0
Algorithm-assisted discovery of an intrinsic order among mathematical constants—0
An Efficient Data Analysis Method for Big Data using Multiple-Model Linear Regression—0
Anomaly zones for uniformly sampled gene trees under the gene duplication and loss model—0
A Semantic Search Engine for Mathlib4—0
A Swarm Variant for the Schrödinger Solver—0
Autograding Mathematical Induction Proofs with Natural Language Processing—0
Automated Planning Techniques for Elementary Proofs in Abstract Algebra—0
Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs—0
Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II)—0
Beyond Chemical QA: Evaluating LLM's Chemical Reasoning with Modular Chemical Operations—0
Bio-plausible Unsupervised Delay Learning for Extracting Temporal Features in Spiking Neural Networks—0
Black-Scholes-Merton Option Pricing Revisited: Did we Find a Fatal Flaw?—0
Boundary Effects in Biological Planar Networks: Pentagons Dominate Marginal Cells—0
Characterizing the Conditions for Indefinite Growth in Open Chemical Reaction Networks—0
Class Information Guided Reconstruction for Automatic Modulation Open-Set Recognition—0
CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generation—0
The f-Divergence Reinforcement Learning Framework—0
Computation with Sequences in a Model of the Brain—0
A Critical Overview of Privacy-Preserving Approaches for Collaborative Forecasting—0
Differentiable Convex Optimization Layers in Neural Architectures: Foundations and Perspectives—0
Efficient Long-Decoding Inference with Reasoning-Aware Attention Sparsity—0
Efficient Feedback and Partial Credit Grading for Proof Blocks Problems—0
Evolutionary Algorithms Are Significantly More Robust to Noise When They Ignore It—0
Examining the impact of forcing function inputs on structural identifiability—0
Show:102550
← PrevPage 2 of 2Next →

No leaderboard results yet.