Montague Meets Markov: Deep Semantics with Probabilistic Logical Form. - Islam Beltagy; Cuong Chau; Gemma Boleda; Dan Garrette; Katrin Erk; Raymond J. Mooney (*SEM@NAACL-HLT, 2013)

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 (ARITH, 2022)

Robust, End-to-end Correctness Proofs of Industrial Divide and Square Root RTL Designs. - Sol Swords; Cuong Chau (ARITH, 2025)