%0 Conference Paper %1 conf/aaai/CrouseAMWCKSTWF21 %A Crouse, Maxwell %A Abdelaziz, Ibrahim %A Makni, Bassem %A Whitehead, Spencer %A Cornelio, Cristina %A Kapanipathi, Pavan %A Srinivas, Kavitha %A Thost, Veronika %A Witbrock, Michael %A Fokoue, Achille %B AAAI %D 2021 %I AAAI Press %K dblp %P 6279-6287 %T A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#CrouseAMWCKSTWF21 %@ 978-1-57735-866-4

@inproceedings{conf/aaai/CrouseAMWCKSTWF21, added-at = {2023-09-04T00:00:00.000+0200}, author = {Crouse, Maxwell and Abdelaziz, Ibrahim and Makni, Bassem and Whitehead, Spencer and Cornelio, Cristina and Kapanipathi, Pavan and Srinivas, Kavitha and Thost, Veronika and Witbrock, Michael and Fokoue, Achille}, biburl = {https://www.bibsonomy.org/bibtex/215a92ec5128f97e8851c249fcc846260/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2021}, ee = {https://doi.org/10.1609/aaai.v35i7.16780}, interhash = {9166442202f6d9fdeb6bb651babc08ef}, intrahash = {15a92ec5128f97e8851c249fcc846260}, isbn = {978-1-57735-866-4}, keywords = {dblp}, pages = {6279-6287}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:11:30.000+0200}, title = {A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#CrouseAMWCKSTWF21}, year = 2021 }