Browse SoTA > Miscellaneous > Mathematical Proofs

Mathematical Proofs

5 papers with code · Miscellaneous

Benchmarks

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

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

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