IBM/FormalML

This is stars and forks stats for /IBM/FormalML repository. As of 29 Apr, 2024 this repository has 60 stars and 17 forks.

Formal_ML Formalization of Machine Learning Theory with Applications to Program Synthesis This repository contains a partial formalization of key results from https://arxiv.org/abs/1804.07795 The CertRL library as reported in https://arxiv.org/abs/2009.11403 a formalization of Dvoretzky's stochastic approximation theorem as reported in https://arxiv.org/abs/2202.05959 Getting Started To compile the Coq code in this repository, first install opam opam (ocaml package manager). Add support for coq...