Lu, Pengyuan

1. Confidence Composition for Monitors of Verification Assumptions
   2021/11/03 by Ivan Ruchkin, Ruchkin, Ivan, Matthew Cleaveland +11 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE)
2. IBCL: Zero-shot Model Generation under Stability-Plasticity Trade-offs
   2023/05/24 by Pengyuan Lu, Michele Caprio, Lu, Pengyuan +5 · 2 citations
   Computer Science · #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. Causal Repair of Learning-enabled Cyber-physical Systems
   2023/04/06 by Pengyuan Lu, Ivan Ruchkin, Lu, Pengyuan +7 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Software Engineering Research #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Conservative Perception Models for Probabilistic Verification
   2025/03/23 by Matthew Cleaveland, Cleaveland, Matthew, Pengyuan Lu +7 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification