@inproceedings{ICML-2019-YangD,
	author        = "Kaiyu Yang and Jia Deng",
	booktitle     = "{Proceedings of the 36th International Conference on Machine Learning}",
	ee            = "http://proceedings.mlr.press/v97/yang19a.html",
	pages         = "6984--6994",
	publisher     = "{PMLR}",
	title         = "{Learning to Prove Theorems via Interacting with Proof Assistants}",
	year          = 2019,
}