10 citations · 12 across the 3 of their papers we have counts for
3 papers
cs.SE2026
Copper: Unifying Correctness and Performance Specification in Code Generation
André Lizardo, Raul Barbosa
Generative AI has made remarkable progress in producing functionally correct code, yet ensuring both correctness and performance remains an open challenge. We present Copper, a fra…
gr-qc2021★ 2 cited
On phenomenological parametrizations for the luminosity distance of gravitational waves
Andrés Lizardo, Javier Chagoya, C. Ortiz
The propagation of gravitational waves offers new possibilities for testing the theory of gravity. Amongst these possibilities there is the luminosity distance of gravitational wav…
astro-ph.CO2020★ 10 cited
Cosmography using strong lensing systems and cosmic chronometers
Andrés Lizardo, Mario H. Amante, Miguel A. García-Aspeitia +2
Using a new sub-sample of observed strong gravitational lens systems, for the first time, we present the equation for the angular diameter distance in the -redshift scenario for…