%0 Conference Paper %1 conf/icml/YangD19 %A Yang, Kaiyu %A Deng, Jia %B ICML %D 2019 %E Chaudhuri, Kamalika %E Salakhutdinov, Ruslan %I PMLR %K dblp %P 6984-6994 %T Learning to Prove Theorems via Interacting with Proof Assistants. %U http://dblp.uni-trier.de/db/conf/icml/icml2019.html#YangD19 %V 97

@inproceedings{conf/icml/YangD19, added-at = {2021-02-01T00:00:00.000+0100}, author = {Yang, Kaiyu and Deng, Jia}, biburl = {https://www.bibsonomy.org/bibtex/238d7cf036cc1ca13f25bcca98f55b0cb/dblp}, booktitle = {ICML}, crossref = {conf/icml/2019}, editor = {Chaudhuri, Kamalika and Salakhutdinov, Ruslan}, ee = {http://proceedings.mlr.press/v97/yang19a.html}, interhash = {53712c3c909963ea3e83ed1095474f4e}, intrahash = {38d7cf036cc1ca13f25bcca98f55b0cb}, keywords = {dblp}, pages = {6984-6994}, publisher = {PMLR}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-04-10T16:43:54.000+0200}, title = {Learning to Prove Theorems via Interacting with Proof Assistants.}, url = {http://dblp.uni-trier.de/db/conf/icml/icml2019.html#YangD19}, volume = 97, year = 2019 }