Author of the publication

Developing Bug-Free Machine Learning Systems With Formal Mathematics.

, , and . ICML, volume 70 of Proceedings of Machine Learning Research, page 3047-3056. PMLR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning a SAT Solver from Single-Bit Supervision., , , , , and . CoRR, (2018)A Theory of Timed Automata, and . Theoretical Computer Science, (1994)Event Correlation: Language and Semantics., , , , , and . EMSOFT, volume 2855 of Lecture Notes in Computer Science, page 323-339. Springer, (2003)An Incremental Heap Canonicalization Algorithm., and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 28-42. Springer, (2005)Reluplex: a calculus for reasoning about deep neural networks., , , , and . Formal Methods Syst. Des., 60 (1): 87-116 (February 2022)Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF., , and . LFM, volume 70 of Electronic Notes in Theoretical Computer Science, page 29-41. Elsevier, (2002)Reliable verification using symbolic simulation with scalar values., and . DAC, page 124-129. ACM, (2000)Validation with Guided Search of the State Space., and . DAC, page 599-604. ACM Press, (1998)Towards Proving the Adversarial Robustness of Deep Neural Networks., , , , and . FVAV@iFM, volume 257 of EPTCS, page 19-26. (2017)Developing Bug-Free Machine Learning Systems With Formal Mathematics., , and . ICML, volume 70 of Proceedings of Machine Learning Research, page 3047-3056. PMLR, (2017)