BibTeX record conf/aaai/CrouseAMWCKSTWF21

• > Home > conf/aaai/CrouseAMWCKSTWF21

@inproceedings{DBLP:conf/aaai/CrouseAMWCKSTWF21,
  author       = {Maxwell Crouse and
                  Ibrahim Abdelaziz and
                  Bassem Makni and
                  Spencer Whitehead and
                  Cristina Cornelio and
                  Pavan Kapanipathi and
                  Kavitha Srinivas and
                  Veronika Thost and
                  Michael Witbrock and
                  Achille Fokoue},
  title        = {A Deep Reinforcement Learning Approach to First-Order Logic Theorem
                  Proving},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {6279--6287},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i7.16780},
  doi          = {10.1609/AAAI.V35I7.16780},
  timestamp    = {Mon, 04 Sep 2023 16:50:23 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/CrouseAMWCKSTWF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}