CertRL: Formalizing convergence proofs for value and policy iteration in Coq
- Koundinya Vajjha
- Avraham Shinnar
- et al.
- 2021
- CPP 2021
Publications
Date
Featured collections
Popular topics
32 results for Avi Shinnar
AIMMX: Artificial Intelligence Model Metadata Extractor
- Jason Tsay
- Alan Braz
- et al.
- 2020
- MSR 2020
Machine learning in python with no strings attached
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2019
- MAPL/PLDI 2019
Reactive chatbot programming
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2018
- SPLASH/REBLS 2018
Ariadne: Analysis for machine learning programs
- Julian Dolby
- Avraham Shinnar
- et al.
- 2018
- MAPL/PLDI 2018
Generating chat bots from web API specifications
- 2017
- Onward! 2017
Q∗cert: A platform for implementing and verifying query compilers
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
I can parse you: Grammars for dialogs
- Martin Hirzel
- Louis Mandel
- et al.
- 2017
- SNAPL 2017
Prototyping a query compiler using Coq
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- JFLA 2017