About

Benchmarks

No evaluation results yet. Help compare methods by submit evaluation metrics.

Datasets

Greatest papers with code

Learning to Prove Theorems via Interacting with Proof Assistants

21 May 2019princeton-vl/CoqGym

Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as high-level tactics.

AUTOMATED THEOREM PROVING MATHEMATICAL PROOFS

Differential Machine Learning

arXiv 2020 differential-machine-learning/notebooks

It is also applicable in many situations outside finance, where high quality first-order derivatives wrt training inputs are available.

MATHEMATICAL PROOFS

A Unified Parallel Algorithm for Regularized Group PLS Scalable to Big Data

23 Feb 2017matt-sutton/bigsgPLS

Partial Least Squares (PLS) methods have been heavily exploited to analyse the association between two blocs of data.

MATHEMATICAL PROOFS

AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm Intelligence

19 May 2020AdaSwarm/AdaSwarm

This paper introduces AdaSwarm, a novel gradient-free optimizer which has similar or even better performance than the Adam optimizer adopted in neural networks.

MATHEMATICAL PROOFS

Explosive Proofs of Mathematical Truths

31 Mar 2020scottviteri/ManipulateProofTrees

Mathematical proofs are both paradigms of certainty and some of the most explicitly-justified arguments that we have in the cultural record.

MATHEMATICAL PROOFS