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
Sharpness-Aware Minimization Alone can Improve Adversarial RobustnessCode1
Simple but Effective Compound Geometric Operations for Temporal Knowledge Graph CompletionCode1
Differential Machine LearningCode1
FormalAlign: Automated Alignment Evaluation for AutoformalizationCode1
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsCode1
BreastScreening: On the Use of Multi-Modality in Medical Imaging DiagnosisCode1
IsarStep: a Benchmark for High-level Mathematical ReasoningCode1
TransERR: Translation-based Knowledge Graph Embedding via Efficient Relation RotationCode1
Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning methodCode1
AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm IntelligenceCode1
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
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
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
Secure multiparty computations in floating-point arithmetic—0
Simple Proofs of the Summation and Connectivity Theorems in Metabolic Control Analysis—0
SmartDCA superiority—0
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.