Chad Brown

Exploration of neural machine translation in autoformalization of mathematics in Mizar

Qingxiang Wang, Cezary Kaliszyk, Josef Urban, 2019, CPP.

Red Bridge water reuse project

Chad Brown, Jamison Thornton, 2012 .

First-Order Instantiation using Discriminating Terms

Mikolás Janota, Chad Brown, 2021, SMT.