Greg Anderson

11 papers A* 4Journal 5Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Robust Adaptive Multi-Step Predictive Shielding (Student Abstract). AAAI Tanmay Ambadkar, Darshan Chudiwal, Greg Anderson, Abhinav Verma
2024	—	`conf`	Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation. SaTML Chenxi Yang, Greg Anderson, Swarat Chaudhuri
2023	A*	`conf`	Guiding Safe Exploration with Weakest Preconditions. ICLR Greg Anderson, Swarat Chaudhuri, Isil Dillig
2023	J	`jnl`	Policy Optimization with Robustness Certificates. CoRR Chenxi Yang, Greg Anderson, Swarat Chaudhuri
2022	J	`jnl`	Guiding Safe Exploration with Weakest Preconditions. CoRR Greg Anderson, Swarat Chaudhuri, Isil Dillig
2020	A*	`conf`	Neurosymbolic Reinforcement Learning with Formally Verified Exploration. NeurIPS Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2020	J	`jnl`	Neurosymbolic Reinforcement Learning with Formally Verified Exploration. CoRR Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2019	J	`jnl`	Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. CoRR Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2019	A*	`conf`	Optimization and abstraction: a synergistic approach for analyzing neural network robustness. PLDI Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2018	—	`conf`	Learning Abstractions for Program Synthesis. CAV (1) Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan
2018	J	`jnl`	Learning Abstractions for Program Synthesis. CoRR Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan