vix.ing · top · new · best · stats · spec

George J. Pappas

  1. SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks
    2023/10/05 by Alexander Robey, Robey, Alexander, Eric Wong +5 · 2 voices · 80 citations
    Computer Science · #Topic Modeling #Adversarial Robustness in Machine Learning #Natural Language Processing Techniques
  2. Jailbreaking Black Box Large Language Models in Twenty Queries
    2023/10/12 by Patrick Chao, Chao, Patrick, Alexander Robey +9 · 220 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
  3. JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models
    2024/03/28 by Patrick Chao, Edoardo Debenedetti, Chao, Patrick +21 · 93 citations
    Computer Science · #Authorship Attribution and Profiling #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques
  4. Robustness of temporal logic specifications for continuous-time signals
    2009/09/01 by Georgios E. Fainekos, George J. Pappas · 12 citations
  5. Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks
    2019/06/11 by Mahyar Fazlyab, Fazlyab, Mahyar, Alexander Robey +7 · 17 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Domain Adaptation and Few-Shot Learning
  6. Analysis and Control of Epidemics: A survey of spreading processes on\n complex networks
    2015/05/04 by Cameron Nowzari, Víctor M. Preciado, Nowzari, Cameron +3 · 10 citations
    Physics and Astronomy · Mathematics · #Complex Network Analysis Techniques #COVID-19 epidemiological studies
  7. Conflict resolution for air traffic management: a study in multiagent hybrid systems
    1998/04/01 by C. Tomlin, Claire J. Tomlin, G.J. Pappas +3 · 7 citations
    Computer Science · Engineering · #Formal Methods in Verification #Robotic Path Planning Algorithms #Air Traffic Management and Optimization
  8. Reinforcement Learning for Temporal Logic Control Synthesis with\n Probabilistic Satisfaction Guarantees
    2019/09/11 by Mohammadhosein Hasanbeig, Yiannis Kantaros, Hasanbeig, Mohammadhosein +9 · 8 citations
    Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies
  9. Control Barrier Functions for Unknown Nonlinear Systems using Gaussian\n Processes
    2020/10/12 by Pushpak Jagtap, Jagtap, Pushpak, George J. Pappas +3 · 9 citations
    Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
  10. Learning Operators with Coupled Attention
    2022/01/04 by Georgios Kissas, Kissas, Georgios, J. S. Seidman +9 · 9 citations
    Computer Science · Engineering · Environmental Science · #Artificial Intelligence (cs.AI) #Computational Physics (physics.comp-ph) #Energy Load and Power Forecasting #FOS: Computer and information sciences #FOS: Physical sciences #Gaussian Processes and Bayesian Inference #Hydrological Forecasting Using AI #Machine Learning (cs.LG)
  11. Differentially Private Filtering
    2012/07/18 by Jérôme Le Ny, George J. Pappas, Ny, Jerome Le +1 · 5 citations
    Computer Science · Engineering · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC) #Privacy-Preserving Technologies in Data #Vehicular Ad Hoc Networks (VANETs)
  12. Adaptive Conformal Prediction for Motion Planning among Dynamic Agents
    2022/12/01 by Anushri Dixit, Lars Lindemann, Dixit, Anushri +9 · 9 citations
    Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  13. Verisig: verifying safety properties of hybrid systems with neural network controllers
    2018/11/05 by Radoslav Ivanov, James Weimer, Ivanov, Radoslav +7 · 6 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Fault Detection and Control Systems #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
  14. Optimal Scene Graph Planning with Large Language Model Guidance
    2023/09/17 by Zhirui Dai, Arash Asgharivaskasi, Dai, Zhirui +11 · 9 citations
    Computer Science · #Constraint Satisfaction and Optimization #Multimodal Machine Learning Applications #Topic Modeling
  15. CViT: Continuous Vision Transformer for Operator Learning
    2024/05/22 by Sifan Wang, Wang, Sifan, Jacob H. Seidman +9 · 12 citations
    Computer Science · #Neural Networks and Applications
  16. Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing
    2024/02/25 by Jiabao Ji, Bairu Hou, Ji, Jiabao +12 · 10 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Hate Speech and Cyberbullying Detection #Digital and Cyber Forensics
  17. Formal Verification and Control with Conformal Prediction
    2024/08/31 by Lars Lindemann, Lindemann, Lars, Yiqi Zhao +7 · 14 citations
    Computer Science · Engineering · #Formal Methods in Verification #Advanced Control Systems Optimization #Real-time simulation and control systems
  18. Safe Pontryagin Differentiable Programming
    2021/05/31 by Wanxin Jin, Shaoshuai Mou, Jin, Wanxin +3 · 6 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Advanced Control Systems Optimization #Reinforcement Learning in Robotics
  19. Decision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents
    2025/02/04 by Shayan Kiyani, Kiyani, Shayan, George J. Pappas +6 · 2 voices · 11 citations
    Computer Science · #Anomaly Detection Techniques and Applications #Statistical and Computational Modeling #cs.AI #cs.LG #stat.ML
  20. A Tutorial on the Non-Asymptotic Theory of System Identification
    2023/09/07 by Ingvar Ziemann, Ziemann, Ingvar, Anastasios Tsiamis +9 · 8 citations
    Engineering · #Control Systems and Identification #Advanced Adaptive Filtering Techniques
  21. Model-Based Domain Generalization
    2021/02/23 by Alexander Robey, George J. Pappas, Robey, Alexander +3 · 4 citations
    Computer Science · #Domain Adaptation and Few-Shot Learning #Multimodal Machine Learning Applications #Machine Learning and Algorithms
  22. Variational Autoencoding Neural Operators
    2023/02/20 by Jacob H. Seidman, Seidman, Jacob H., Georgios Kissas +5 · 5 citations
    Materials Science · Engineering · Physics and Astronomy · #Machine Learning in Materials Science #Hydrocarbon exploration and reservoir analysis #Model Reduction and Neural Networks
  23. Conformal Prediction for STL Runtime Verification
    2022/11/03 by Lars Lindemann, Lindemann, Lars, Qin, Xin +4 · 5 citations
    Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
  24. Resilient Active Target Tracking with Multiple Robots
    2018/09/11 by Lifeng Zhou, Zhou, Lifeng, Vasileios Tzoumas +4 · 3 citations
    Computer Science · #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #Machine Learning and Algorithms #Optimization and Search Problems #Robotics (cs.RO)
  25. Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
    2024/03/27 by Prithvi Akella, Anushri Dixit, Akella, Prithvi +13 · 6 citations
    Medicine · #FOS: Computer and information sciences #FOS: Electrical engineering #Healthcare Technology and Patient Monitoring #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  26. Jailbreaking LLM-Controlled Robots
    2024/10/17 by Alexander Robey, Robey, Alexander, Zachary Ravichandran +7 · 6 voices
    Computer Science · Engineering · #Advanced Malware Detection Techniques #Modular Robots and Swarm Intelligence #Digital and Cyber Forensics
  27. Toward Certified Robustness Against Real-World Distribution Shifts
    2022/06/08 by Haoze Wu, Wu, Haoze, Teruhiro Tagomori +15 · 3 citations
    Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Model Reduction and Neural Networks
  28. Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees
    2024/05/17 by Charis Stamouli, Lars Lindemann, Stamouli, Charis +3 · 5 citations
    Engineering · Materials Science · #Advanced Control Systems Optimization #Catalytic Processes in Materials Science
  29. Multi-robot Mission Planning in Dynamic Semantic Environments
    2022/09/13 by Samarth Kalluraya, Kalluraya, Samarth, George J. Pappas +3 · 3 citations
    Computer Science · #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  30. Conformal Prediction with Learned Features
    2024/04/26 by Shayan Kiyani, George J. Pappas, Kiyani, Shayan +3 · 4 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Face and Expression Recognition #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications
  31. Risk Verification of Stochastic Systems with Neural Network Controllers
    2022/08/26 by Matthew Cleaveland, Cleaveland, Matthew, Lars Lindemann +5 · 3 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
  32. Online Learning of the Kalman Filter with Logarithmic Regret
    2020/02/12 by Anastasios Tsiamis, Tsiamis, Anastasios, George J. Pappas +1 · 2 citations
    Decision Sciences · Computer Science · #Advanced Bandit Algorithms Research #Distributed Sensor Networks and Detection Algorithms #Gaussian Processes and Bayesian Inference
  33. Active Learning for Control-Oriented Identification of Nonlinear Systems
    2024/04/13 by Bruce D. Lee, Ingvar Ziemann, Lee, Bruce D. +5 · 4 citations
    Engineering · Computer Science · Biochemistry, Genetics and Molecular Biology · #Advanced Control Systems Optimization #Machine Learning and Algorithms #Receptor Mechanisms and Signaling
  34. Safety Guardrails for LLM-Enabled Robots
    2025/03/10 by Zachary Ravichandran, Ravichandran, Zachary, Alexander Robey +7 · 7 citations
    Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Real-time simulation and control systems #Robotics (cs.RO) #Transportation Safety and Impact Analysis
  35. Adversarial Robustness with Semi-Infinite Constrained Learning
    2021/10/29 by Alexander Robey, Luiz F. O. Chamon, Robey, Alexander +7 · 2 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  36. Risk of Stochastic Systems for Temporal Logic Specifications
    2022/05/28 by Lars Lindemann, Lejun Jiang, Lindemann, Lars +5 · 2 citations
    Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  37. Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
    2022/04/02 by Anton Xue, Lars Lindemann, Xue, Anton +9 · 2 citations
    Engineering · Computer Science · #Sparse and Compressive Sensing Techniques #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms
  38. Perception-Based Temporal Logic Planning in Uncertain Semantic Maps
    2020/12/18 by Yiannis Kantaros, Samarth Kalluraya, Kantaros, Yiannis +5 · 2 citations
    Computer Science · #Logic, Reasoning, and Knowledge #Constraint Satisfaction and Optimization #Semantic Web and Ontologies
  39. Distributed Control of the Laplacian Spectral Moments of a Network
    2010/01/23 by Víctor M. Preciado, Preciado, Victor M., Michael M. Zavlanos +5 · 1 citation
    Computer Science · Physics and Astronomy · #Complex Network Analysis Techniques #Computational Engineering #FOS: Computer and information sciences #Finance #Multiagent Systems (cs.MA) #Neural Networks Stability and Synchronization #Nonlinear Dynamics and Pattern Formation #and Science (cs.CE)
  40. Self-triggered Pursuit of a Single Evader with Uncertain Information
    2015/12/19 by Saad Abdul Aleem, Cameron Nowzari, Aleem, Saad A. +3 · 1 citation
    Engineering · Computer Science · Physics and Astronomy · #Guidance and Control Systems #Distributed Control Multi-Agent Systems #Quantum chaos and dynamical systems
  41. Conformal Inference under High-Dimensional Covariate Shifts via Likelihood-Ratio Regularization
    2025/02/18 by Sunay Joshi, Shayan Kiyani, Joshi, Sunay +7 · 4 citations
    Computer Science · #Gaussian Processes and Bayesian Inference
  42. Temporal Difference Learning with Compressed Updates: Error-Feedback meets Reinforcement Learning
    2023/01/03 by Aritra Mitra, George J. Pappas, Mitra, Aritra +3 · 2 citations
    Computer Science · #Age of Information Optimization #Artificial Intelligence (cs.AI) #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Stochastic Gradient Optimization Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
  43. A Control-Theoretic Approach to Analysis and Parameter Selection of\n Douglas-Rachford Splitting
    2019/03/27 by Jacob H. Seidman, Seidman, Jacob H., Mahyar Fazlyab +5 · 1 citation
    Computer Science · Engineering · Mathematics · #Advanced Optimization Algorithms Research #Control Systems and Identification #FOS: Mathematics #Matrix Theory and Algorithms #Optimization and Control (math.OC)
  44. Optimal Algorithms for Submodular Maximization with Distributed Constraints
    2019/09/30 by Alexander Robey, Robey, Alexander, Arman Adibi +7 · 1 citation
    Computer Science · #Complexity and Algorithms in Graphs #Cryptography and Data Security #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Optimization and Control (math.OC) #Optimization and Search Problems
  45. Learning to Track Dynamic Targets in Partially Known Environments
    2020/06/17 by Heejin Jeong, Hamed Hassani, Jeong, Heejin +7 · 1 citation
    Computer Science · #Machine Learning and Algorithms #Anomaly Detection Techniques and Applications #Reinforcement Learning in Robotics
  46. Learning Lyapunov Functions for Hybrid Systems
    2020/12/22 by Shaoru Chen, Mahyar Fazlyab, Chen, Shaoru +7 · 1 citation
    Engineering · #Advanced Control Systems Optimization #Control Systems and Identification #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC)
  47. Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty
    2022/05/12 by Mariliza Tzes, Vasileios Vasilopoulos, Tzes, Mariliza +5 · 1 citation
    Computer Science · Engineering · #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Robot Manipulation and Learning #Robotic Path Planning Algorithms #Robotics (cs.RO)
  48. Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning
    2019/10/02 by Lifeng Zhou, Zhou, Lifeng, Vasileios Tzoumas +5 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Network Security and Intrusion Detection #Robotics (cs.RO) #Security in Wireless Sensor Networks
  49. Adversarial Training Should Be Cast as a Non-Zero-Sum Game
    2023/06/19 by Alexander Robey, Fabian Latorre, Robey, Alexander +7 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Optimization and Control (math.OC)
  50. Resilient Non-Submodular Maximization over Matroid Constraints
    2018/04/02 by Vasileios Tzoumas, Tzoumas, Vasileios, Ali Jadbabaie +3 · 1 citation
    Computer Science · #Complexity and Algorithms in Graphs #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (stat.ML) #Optimization and Control (math.OC) #Optimization and Search Problems #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  51. Resilient Monotone Submodular Function Maximization
    2017/03/21 by Vasileios Tzoumas, Konstantinos Gatsis, Tzoumas, Vasileios +5 · 2 citations
    Computer Science · #Complexity and Algorithms in Graphs #Adversarial Robustness in Machine Learning #Stochastic Gradient Optimization Techniques
  52. Explicitly Encoding Structural Symmetry is Key to Length Generalization in Arithmetic Tasks
    2024/06/04 by Mahdi Sabbaghi, George J. Pappas, Sabbaghi, Mahdi +5 · 1 citation
    Mathematics · Social Sciences · #Cognitive and developmental aspects of mathematical skills #Mathematics Education and Teaching Techniques
  53. Safe MPC Alignment with Human Directional Feedback
    2024/07/05 by Zhixian Xie, Xie, Zhixian, Wenlong Zhang +9 · 1 citation
    Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Robotics (cs.RO)
  54. Deep Equivariant Multi-Agent Control Barrier Functions
    2025/06/09 by Nikolaos Bousias, Lars Lindemann, Bousias, Nikolaos +3 · 2 citations
    Computer Science · #Reinforcement Learning in Robotics #Adversarial Robustness in Machine Learning #Advanced Graph Neural Networks
  55. Deploying Foundation Model-Enabled Air and Ground Robots in the Field: Challenges and Opportunities
    2025/05/14 by Zachary Ravichandran, Ravichandran, Zachary, Fernando Cladera +13 · 2 citations
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Robotic Locomotion and Control #Robotic Path Planning Algorithms #Robotics (cs.RO)