Cuong Chau

According to our database, Cuong Chau authored at least 2 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking.

David M. Russinoff, Javier D. Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju

Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022

2013

Montague Meets Markov: Deep Semantics with Probabilistic Logical Form.

Islam Beltagy, Cuong Chau, Gemma Boleda, Dan Garrette, Katrin Erk, Raymond J. Mooney

Proceedings of the Second Joint Conference on Lexical and Computational Semantics, 2013