Bordais, B.; Neider, D. Learning DFAs from Positive Examples Only via Word Counting. AAAI 2026, 40, 14201-14208.