المؤلفون: Mandal, Udayan, Amir, Guy, Wu, Haoze, Daukantas, Ieva, Newell, Fletcher Lee, Ravaioli, Umberto, Meng, Baoluo, Durling, Michael, Hobbs, Kerianne, Ganai, Milan, Shim, Tobey, Katz, Guy, Barrett, Clark

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Electrical Engineering and Systems Science - Systems and Control

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

المؤلفون: Wu, Haoze, Qiu, Zihan, Wang, Zili, Zhao, Hang, Fu, Jie

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

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

المؤلفون: Mandal, Udayan, Amir, Guy, Wu, Haoze, Daukantas, Ieva, Newell, Fletcher Lee, Ravaioli, Umberto J., Meng, Baoluo, Durling, Michael, Ganai, Milan, Shim, Tobey, Katz, Guy, Barrett, Clark

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Electrical Engineering and Systems Science - Systems and Control

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

المؤلفون: Wu, Haoze, Hahn, Christopher, Lonsing, Florian, Mann, Makai, Ramanujan, Raghuram, Barrett, Clark

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :1-11 Oct, 2023

Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Wu, Haoze, Isac, Omri, Zeljić, Aleksandar, Tagomori, Teruhiro, Daggitt, Matthew, Kokke, Wen, Refaeli, Idan, Amir, Guy, Julian, Kyle, Bassan, Shahaf, Huang, Pei, Lahav, Ori, Wu, Min, Zhang, Min, Komendantskaya, Ekaterina, Katz, Guy, Barrett, Clark

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

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

المؤلفون: Huang, Pei, Wu, Haoze, Yang, Yuting, Daukantas, Ieva, Wu, Min, Zhang, Yedi, Barrett, Clark

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

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

المؤلفون: Zhou, Runtian, Wu, Haoze, Mendes, Hammurabi, Pulaj, Jonad

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

المؤلفون: Wu, Haoze, Tagomori, Teruhiro, Robey, Alexander, Yang, Fengjun, Matni, Nikolai, Pappas, George, Hassani, Hamed, Pasareanu, Corina, Barrett, Clark

المصدر: 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) SATML Secure and Trustworthy Machine Learning (SaTML), 2023 IEEE Conference on. :537-553 Feb, 2023

Relation: 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)

المؤلفون: Wu, Haoze, Barrett, Clark, Narodytska, Nina

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

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

المؤلفون: Zelazny, Tom, Wu, Haoze, Barrett, Clark, Katz, Guy

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :17-26 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)