Ignacio D. Lopez-Miguel

1. Humanity's Last Exam
   2025/01/24 by Long Phan, Phan, Long, Alice Gatti +2240 · 9 voices · 150 citations
   #cs.LG #cs.AI #cs.CL
2. Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
   2025/02/26 by Ignacio D. Lopez-Miguel, Lopez-Miguel, Ignacio D., Borja Fernández Adiego +4 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Radiation Effects in Electronics #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE)