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
612019
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
272020
Learning Abstractions for Program Synthesis
X Wang, G Anderson, I Dillig, KL McMillan
International Conference on Computer Aided Verification, 407-426, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–3