SOTAVerified

Mathematical Proofs

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–90 of 90 papers

TitleStatusHype
A New Approach Towards AutoformalizationCode0
Characterizing the Conditions for Indefinite Growth in Open Chemical Reaction Networks—0
Total-effect Test May Erroneously Reject So-called "Full" or "Complete" Mediation—0
Anomaly zones for uniformly sampled gene trees under the gene duplication and loss model—0
An Efficient Data Analysis Method for Big Data using Multiple-Model Linear Regression—0
Algorithm-assisted discovery of an intrinsic order among mathematical constants—0
CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generation—0
SmartDCA superiority—0
Computation with Sequences in a Model of the Brain—0
GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic EvaluationCode0
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
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
Bio-plausible Unsupervised Delay Learning for Extracting Temporal Features in Spiking Neural Networks—0
AGI Agent Safety by Iteratively Improving the Utility Function—0
Learning Functions to Study the Benefit of Multitask Learning—0
A Critical Overview of Privacy-Preserving Approaches for Collaborative Forecasting—0
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.