Cuong Chau

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 1

Top Topics

Proof Procedure

Logical Properties

Formal Verification

Theorem Proving

Top Venues

Publications

David M. Russinoff, Javier Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju
Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking. ARITH (2022)
Islam Beltagy, Cuong Chau, Gemma Boleda, Dan Garrette, Katrin Erk, Raymond J. Mooney
Montague Meets Markov: Deep Semantics with Probabilistic Logical Form. *SEM@NAACL-HLT (2013)