Yaqing Jiang

Yaqing Jiang

PhD 2014-2019 (2nd supervisor): Machine learning for interactive theorem proving