3 papers
cs.FL2026
Minimality of Random Moore Automata under Prefix-Dependent Congruences
Matías Carrasco, Sergio Yovine
We study prefix-dependent congruences for random deterministic transition systems with state outputs. In this setting, the admissible continuations used to compare two states may d…
cs.SE2026
TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
Pepe Alonso, Sergio Yovine, Victor A. Braberman
AI coding agents can resolve real-world software issues, yet they frequently introduce regressions -- breaking tests that previously passed. Current benchmarks focus almost exclusi…
cs.FL2024
Congruence-based Learning of Probabilistic Deterministic Finite Automata
Matías Carrasco, Franz Mayr, Sergio Yovine
This work studies the question of learning probabilistic deterministic automata from language models. For this purpose, it focuses on analyzing the relations defined on algebraic s…