Yang, Chenxi

1. LTL-Constrained Policy Optimization with Cycle Experience Replay
   2024/04/17 by Shah, Ameesh, Voloshin, Cameron, Yang, Chenxi +3 · 6 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #I.2.4 #I.2.6 #Machine Learning (cs.LG)
2. Safe Neurosymbolic Learning with Differentiable Symbolic Execution
   2022/03/15 by Chenxi Yang, Swarat Chaudhuri, Yang, Chenxi +1 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Reinforcement Learning in Robotics #Software Reliability and Analysis Research
3. Exploring Vulnerabilities of No-Reference Image Quality Assessment Models: A Query-Based Black-Box Method
   2024/01/10 by Chenxi Yang, Yujia Liu, Yang, Chenxi +5 · 2 citations
   Computer Science · Engineering · #Advanced Image Fusion Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Image and Video Quality Assessment #Visual Attention and Saliency Detection #electronic engineering #information engineering