Improving Dynamic Specification Inference with LLM-Generated Counterexamples. - Agustín Balestra; Agustín Nolasco; Facundo Molina; Diego Garbervetsky; Renzo Degiovanni; Nazareno Aguirre (CoRR, 2026)