SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–90 of 90 papers

TitleStatusHype
Computation with Sequences in a Model of the Brain—0
GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic EvaluationCode0
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal VerificationCode2
Sharpness-Aware Minimization Alone can Improve Adversarial RobustnessCode1
On the uncertainty analysis of the data-enabled physics-informed neural network for solving neutron diffusion eigenvalue problem—0
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary ProofsCode0
Fast Quasi-Optimal Power Flow of Flexible DC Traction Power Systems—0
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsCode1
Towards Provably Secure Encrypted Control Using Homomorphic Encryption—0
SNLP at TextGraphs 2022 Shared Task: Unsupervised Natural Language Premise Selection in Mathematical Texts Using Sentence-MPNet—0
On the uncertainty principle of neural networks—0
Formal Development of Safe Automated Driving using Differential Dynamic LogicCode0
Efficient Feedback and Partial Credit Grading for Proof Blocks Problems—0
Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II)—0
Calibration of P-values for calibration and for deviation of a subpopulation from the full populationCode0
Black-Scholes-Merton Option Pricing Revisited: Did we Find a Fatal Flaw?—0
The f-Divergence Reinforcement Learning Framework—0
Wasserstein GANs with Gradient Penalty Compute Congested Transport—0
Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search—0
A Computational Model of Infant Learning and Reasoning with Probabilities—0
A Swarm Variant for the Schrödinger Solver—0
Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning methodCode1
Bio-plausible Unsupervised Delay Learning for Extracting Temporal Features in Spiking Neural Networks—0
AGI Agent Safety by Iteratively Improving the Utility Function—0
IsarStep: a Benchmark for High-level Mathematical ReasoningCode1
Learning Functions to Study the Benefit of Multitask Learning—0
AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm IntelligenceCode1
Differential Machine LearningCode1
A Critical Overview of Privacy-Preserving Approaches for Collaborative Forecasting—0
BreastScreening: On the Use of Multi-Modality in Medical Imaging DiagnosisCode1
Epistemic Phase Transitions in Mathematical ProofsCode0
Secure multiparty computations in floating-point arithmetic—0
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics—0
Learning to Prove Theorems via Interacting with Proof AssistantsCode0
α-Rank: Multi-Agent Evaluation by EvolutionCode0
Solving constraint-satisfaction problems with distributed neocortical-like neuronal networks—0
Interleaver Design for Deep Neural Networks—0
A Unified Parallel Algorithm for Regularized Group PLS Scalable to Big DataCode0
Investor's sentiment in multi-agent model of the continuous double auction—0
Premise Selection for Mathematics by Corpus Analysis and Kernel MethodsCode0
Show:102550
← PrevPage 2 of 2Next →

No leaderboard results yet.