Publications

(2021). Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS 2021, Spotlight presentation.

PDF Code

(2021). Equality Saturation for Tensor Graph Superoptimization. MLSys 2021.

PDF Code

(2020). Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS 2020.

PDF Code

(2019). Correctness Verification of Neural Networks. NeurIPS 2019 Workshop on Machine Learning with Guarantees.

PDF Code

(2013). An example conference paper. In ICW.

PDF Cite Project Slides