Safe Agentic Workflows for Isabelle
0Citations signalées, ce qui n’est pas une note de qualité
3Institutions déclarées
3Pays d’affiliation déclarés
Rattachement africain : de, gb, dk. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
Experimental setups for safe agentic workflows for Isabelle.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
La source scientifique ouverte est momentanément indisponible.
Où se fait cette recherche
-
Technical University of Munich pays non établi dans la noticeUniversité ou école supérieure
-
King's College London pays non établi dans la noticeUniversité ou école supérieure
-
University of Copenhagen pays non établi dans la noticeUniversité ou école supérieure
Technical University of Munich, King's College London et University of Copenhagen.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.