@inproceedings{minervini2018towards,
  title={Towards Neural Theorem Proving at Scale},
  author={Minervini, Pasquale and Bosnjak, Matko and Rockt{\"a}schel, Tim and Riedel, Sebastian},
  booktitle={NAMPI 2018},
  year={2018}
}

{"_id":"Pei7FrhqYA8ZonT7k","bibbaseid":"minervini-bosnjak-rocktschel-riedel-towardsneuraltheoremprovingatscale-2018","author_short":["Minervini, P.","Bosnjak, M.","Rocktäschel, T.","Riedel, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards Neural Theorem Proving at Scale","author":[{"propositions":[],"lastnames":["Minervini"],"firstnames":["Pasquale"],"suffixes":[]},{"propositions":[],"lastnames":["Bosnjak"],"firstnames":["Matko"],"suffixes":[]},{"propositions":[],"lastnames":["Rocktäschel"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Riedel"],"firstnames":["Sebastian"],"suffixes":[]}],"booktitle":"NAMPI 2018","year":"2018","bibtex":"@inproceedings{minervini2018towards,\n title={Towards Neural Theorem Proving at Scale},\n author={Minervini, Pasquale and Bosnjak, Matko and Rockt{\\\"a}schel, Tim and Riedel, Sebastian},\n booktitle={NAMPI 2018},\n year={2018}\n}\n\n","author_short":["Minervini, P.","Bosnjak, M.","Rocktäschel, T.","Riedel, S."],"key":"minervini2018towards","id":"minervini2018towards","bibbaseid":"minervini-bosnjak-rocktschel-riedel-towardsneuraltheoremprovingatscale-2018","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/EFCPtS4jFngAEvpTk/rockt.bib","dataSources":["9FGdipwZv43gCKLff","CnmhbXT8Az9hfrJyh"],"keywords":[],"search_terms":["towards","neural","theorem","proving","scale","minervini","bosnjak","rocktäschel","riedel"],"title":"Towards Neural Theorem Proving at Scale","year":2018}