المؤلفون: Banerjee, Arko, Rahmani, Kia, Biswas, Joydeep, Dillig, Isil

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

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

المؤلفون: Wang, Ziteng, Pailoor, Shankara, Prakash, Aaryan, Wang, Yuepeng, Dillig, Isil

المصدر: Proc. ACM Program. Lang. 8, PLDI, Article 188 (June 2024), 32 pages

مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0

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

المؤلفون: Modak, Sadanand, Patton, Noah, Dillig, Isil, Biswas, Joydeep

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Computer Vision and Pattern Recognition, Computer Science - Machine Learning, Computer Science - Programming Languages

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

المؤلفون: Barnaby, Celeste, Chen, Qiaochu, Wang, Chenglong, Dillig, Isil

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

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

المؤلفون: Saxena, Divyanshu, Sharma, Nihal, Kim, Donghyun, Dwivedula, Rohit, Chen, Jiayi, Yang, Chenxi, Ravula, Sriram, Hu, Zichao, Akella, Aditya, Angel, Sebastian, Biswas, Joydeep, Chaudhuri, Swarat, Dillig, Isil, Dimakis, Alex, Godfrey, P. Brighten, Kim, Daehyeok, Rossbach, Chris, Wang, Gang

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

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

المؤلفون: Wei, Jiayi, Durrett, Greg, Dillig, Isil

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages

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

المؤلفون: Chen, Qiaochu, Banerjee, Arko, Demiralp, Çağatay, Durrett, Greg, Dillig, Isil

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

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

المؤلفون: Ye, Xi, Chen, Qiaochu, Dillig, Isil, Durrett, Greg

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

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

المؤلفون: Patton, Noah, Rahmani, Kia, Missula, Meghana, Biswas, Joydeep, Dillig, Işil

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Robotics

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

المؤلفون: Liu, Junrui, Kretz, Ian, Liu, Hanzhi, Tan, Bryan, Wang, Jonathan, Sun, Yi, Pearson, Luke, Miltner, Anders, Dillig, Işıl, Feng, Yu

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

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

المؤلفون: Barnaby, Celeste, Chen, Qiaochu, Samanta, Roopsha, Dillig, Isil

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Computer Vision and Pattern Recognition

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

المؤلفون: Wei, Jiayi, Durrett, Greg, Dillig, Isil

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages

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

المؤلفون: Xin, Jimmy, Zheng, Linus, Rahmani, Kia, Wei, Jiayi, Holtz, Jarrett, Dillig, Isil, Biswas, Joydeep

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Programming Languages

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

المؤلفون: Anderson, Greg, Chaudhuri, Swarat, Dillig, Isil

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

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

المؤلفون: Chen, Qiaochu, Pailoor, Shankara, Barnaby, Celeste, Criswell, Abby, Wang, Chenglong, Durrett, Greg, Dillig, Isil

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

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

المؤلفون: Feser, John, Dillig, Isil, Solar-Lezama, Armando

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

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

المؤلفون: LeBlanc, Hayley, Pailoor, Shankara, Dillig, Isil, Bornholt, James, Chidambaram, Vijay

مصطلحات موضوعية: Computer Science - Operating Systems, Computer Science - Software Engineering

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

المؤلفون: Mariano, Benjamin, Chen, Yanju, Feng, Yu, Durrett, Greg, Dillig, Isil

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

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

المؤلفون: Wei, Jiayi, Holtz, Jarrett, Dillig, Isil, Biswas, Joydeep

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

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

المؤلفون: Ferles, Kostas, Sepanski, Benjamin, Krishnan, Rahul, Bornholt, James, Dillig, Isil

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

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