-
1تقرير
المؤلفون: Yukhymenko, Hanna, Staab, Robin, Vero, Mark, Vechev, Martin
مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language
الوصول الحر: http://arxiv.org/abs/2406.07217Test
-
2تقرير
المؤلفون: Pouget, Angéline, Jovanović, Nikola, Vero, Mark, Staab, Robin, Vechev, Martin
الوصول الحر: http://arxiv.org/abs/2405.18161Test
-
3تقرير
-
4تقرير
-
5تقرير
-
6تقرير
-
7تقرير
-
8تقرير
المؤلفون: He, Jingxuan, Vero, Mark, Krasnopolska, Gabriela, Vechev, Martin
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Software Engineering
الوصول الحر: http://arxiv.org/abs/2402.09497Test
-
9
-
10تقرير
المؤلفون: Staab, Robin, Vero, Mark, Balunović, Mislav, Vechev, Martin
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, I.2.7
الوصول الحر: http://arxiv.org/abs/2310.07298Test