-
1تقرير
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Artificial Intelligence
URL الوصول: http://arxiv.org/abs/2102.04805
-
2
المؤلفون: Menguy, Grégoire
المساهمون: Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Paris-Saclay, Julien Signoles, Sébastien Bardin, Nadjib Lazaar
المصدر: Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG023⟩
مصطلحات موضوعية: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Contract inférence, Inférence de contrats, Constraint acquisition, Machine learning, Code understanding, Compréhension de code, Acquisition de contraintes, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Program synthesis, Apprentissage, Synthèse de code, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3515::ade9a05d7c38127f3d659d2df54938ea
https://theses.hal.science/tel-04097552