27 articles
Ce travail présente et évalue une version améliorée de la bibliothèque modulaire JoinActors pour Scala 3, qui intègre les motifs de jonction via la métaprogrammation pour offrir une API intuitive et permettre la comparaison systématique de différents algorithmes d'appariement, démontrant ainsi à la fois une expressivité accrue et des performances significativement optimisées.
Cet article propose une technique légère et amortie pour sélectionner efficacement un sous-ensemble d'annotations de type issues de l'inférence dans les programmes à typage graduel, améliorant ainsi les temps d'exécution tout en réduisant les coûts de compilation par rapport aux approches existantes.
Cet article présente iScript, un modèle de langage adapté au domaine de la conception physique pour la génération de scripts Tcl Innovus, ainsi que la benchmark iScript-Bench, en surmontant le manque de données grâce à une pipeline de synthèse multi-étapes et en démontrant des performances supérieures aux modèles d'état de l'art grâce à une stratégie d'entraînement en deux étapes et un cadre de vérification rigoureux.
Cet article présente SCORE, un langage conçu pour manipuler des variables et des piles, et démontre comment interpréter ses opérations comme des bijections totales certifiées par un assistant de preuve, permettant ainsi d'étudier la complexité computationnelle dans des modèles réversibles complets.
Cet article introduit une nouvelle théorie équationnelle pour le I-calcul basée sur les « arbres Ohana », qui préservent les variables libres masquées dans les sous-arbres sans signification, et démontre la compatibilité de cette égalité avec les opérations du calcul grâce à des théorèmes de commutation avec l'expansion de Taylor et à un modèle dénotationnel non idempotent étendu.
Cet article présente le « raisonnement de code agentique » et sa méthode de « raisonnement semi-formel », qui améliorent de manière significative la capacité des agents LLM à analyser sémantiquement du code sans exécution, atteignant des niveaux de fiabilité prometteurs pour des applications comme la vérification de correctifs et la localisation de bugs.
Le papier présente SpotIt+, un outil open-source qui évalue les systèmes Text-to-SQL en générant des bases de données de différenciation réalistes grâce à une vérification d'équivalence bornée et à un pipeline de minage de contraintes combinant règles et LLM.