2 papers
astro-ph.IM2026
Euclid Quick Data Release (Q1). AstroVink: A vision transformer approach to find strong gravitational lens systems
Euclid Collaboration, S. H. Vincken, K. Rojas +302
We present AstroVink, a vision transformer classifier designed for automated identification of strong lens candidates in Euclid imaging. We build upon the DINOv2 encoder, fine tune…
cs.SE2026
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
AgustÃn Balestra, AgustÃn Nolasco, Facundo Molina +3
Contract assertions, such as preconditions, postconditions, and invariants, play a crucial role in software development, enabling applications such as program verification, test ge…