(2021). Program Synthesis Guided Reinforcement Learning. To appear in NeurIPS 2021, Spotlight presentation.


(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