المؤلفون: Le, Nham, Si, Xujie, Gurfinkel, Arie

المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :86-95 Oct, 2021

Relation: 2021 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Geng, Chuqin, Le, Nham, Xu, Xiaojie, Wang, Zhaoyue, Gurfinkel, Arie, Si, Xujie

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2210.16114

المؤلفون: Le, Nham, Lai, Tuan, Bui, Trung, Kim, Doo Soon

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2011.13470

المؤلفون: Tran, Quan, Dam, Nhan, Lai, Tuan, Dernoncourt, Franck, Le, Trung, Le, Nham, Phung, Dinh

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2011.03096

المؤلفون: Brixey, Jacqueline, Manuvinakurike, Ramesh, Le, Nham, Lai, Tuan, Chang, Walter, Bui, Trung

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1812.01083