RefineAct: Automatic Runtime Verification of LLM Agent Actions

Fraol Batole, Foutse Khomh, Hridesh Rajan

Communication écrite (2026)

Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
Voir chez l'éditeur officiel
Département:
Département de génie informatique et génie logiciel
Organismes subventionnaires:
National Science Foundation
Numéro de subvention:
2120448, IIS-2419882, IIS-241988, 2223812
ISBN:
9798400728822
Adresse URL de PolyPublie:
https://publications.polymtl.ca/83285/
Nom de la conférence:
41st International Conference on Automated Software Engineering (ASE 2026)
Lieu de la conférence:
Munich, Germany
Date(s) de la conférence:
2026-10-12 - 2026-10-16
Maison d'édition:
Association for Computing Machinery
DOI:
10.1145/3832783.3834409
URL officielle:
https://doi.org/10.1145/3832783.3834409
OAI:
oai:publications.polymtl.ca:83285
ORCID
Fraol Batole (iD)0000-0002-4586-1686 (Non authentifié)
Foutse Khomh (iD)0000-0002-5704-4173 (Non authentifié)
Hridesh Rajan (iD)0000-0002-9410-9562 (Non authentifié)
Date du dépôt:
09 nov. 2026 15:25
Dernière modification:
09 nov. 2026 15:25
Citer en APA 7:
Batole, F., Khomh, F., & Rajan, H. (octobre 2026). RefineAct: Automatic Runtime Verification of LLM Agent Actions [Communication écrite]. 41st International Conference on Automated Software Engineering (ASE 2026), Munich, Germany. https://doi.org/10.1145/3832783.3834409

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document