引用次数
引用: 219
H-指数: 4
I10-指数 : 3
出版物: 8
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
Isil Dillig , Swarat Chaudhuri , Abhinav Verma , Greg Anderson
arXiv: Learning
38
2020
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
Greg Anderson , Shankara Pailoor , Isil Dillig , Swarat Chaudhuri
arXiv: Programming Languages
73
2019
Learning Abstractions for Program Synthesis
Xinyu Wang , Greg Anderson , Isil Dillig , K. L. McMillan
Computer Aided Verification 407 -426
2
2018
Policy Optimization with Robustness Certificates
Chenxi Yang , Greg Anderson , Swarat Chaudhuri
arXiv preprint arXiv:2301.11374
2023
Guiding Safe Exploration with Weakest Preconditions
Greg Anderson , Swarat Chaudhuri , Isil Dillig
arXiv preprint arXiv:2209.14148
2022
2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)| 979-8-3503-4950-4/24/$31.00© 2024 IEEE| DOI: 10.1109/SaTML59370. 2024.00043
Ulrich Aïvodji , Greg Anderson , Ross Anderson , Sergul Aydore
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
Chenxi Yang , Greg Anderson , Swarat Chaudhuri
2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) 233 -251
2024
Neurosymbolic approaches to safe machine learning
Greg Anderson ,
2023