Follow
Greg Anderson
Title
Cited by
Cited by
Year
Optimization and abstraction: a synergistic approach for analyzing neural network robustness
G Anderson, S Pailoor, I Dillig, S Chaudhuri
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
1182019
Neurosymbolic reinforcement learning with formally verified exploration
G Anderson, A Verma, I Dillig, S Chaudhuri
Advances in neural information processing systems 33, 6172-6183, 2020
912020
Learning abstractions for program synthesis
X Wang, G Anderson, I Dillig, KL McMillan
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
162018
Guiding safe exploration with weakest preconditions
G Anderson, S Chaudhuri, I Dillig
arXiv preprint arXiv:2209.14148, 2022
72022
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
C Yang, G Anderson, S Chaudhuri
2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 233-251, 2024
2024
Neurosymbolic approaches to safe machine learning
G Anderson
2023
Policy Optimization with Robustness Certificates.
C Yang, G Anderson, S Chaudhuri
CoRR, 2023
2023
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
U Aïvodji, G Anderson, R Anderson, S Aydore, A Azize, D Basu, ...
The system can't perform the operation now. Try again later.
Articles 1–8