Formalization of a Stochastic Approximation Theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun. Formalization of a Stochastic Approximation Theorem. In June Andronick, Leonardo de Moura, editors, 13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel. Volume 237 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

This author has not been identified. Look up 'Koundinya Vajjha' in GoogleThis author has not been identified. Look up 'Barry M. Trager' in GoogleThis author has not been identified. Look up 'Avraham Shinnar' in GoogleThis author has not been identified. Look up 'Vasily Pestun' in Google

runs on WebDSL