Greg Anderson

Orcid: 0000-0003-1128-4339

Affiliations:

Reed College, Portland, OR, USA
University of Texas at Austin, TX, USA

According to our database¹, Greg Anderson authored at least 5 papers between 2018 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Policy Optimization with Robustness Certificates.

[BibT_eX]

[DOI]

Chenxi Yang

Greg Anderson

Swarat Chaudhuri

CoRR, 2023

Guiding Safe Exploration with Weakest Preconditions.

[BibT_eX]

[DOI]

Greg Anderson

Swarat Chaudhuri

Isil Dillig

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2020

Neurosymbolic Reinforcement Learning with Formally Verified Exploration.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Optimization and abstraction: a synergistic approach for analyzing neural network robustness.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Learning Abstractions for Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Greg Anderson

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...