@incollection{minervini2021learning,
  title={Learning reasoning strategies in end-to-end differentiable proving},
  author={Minervini, Pasquale and Riedel, Sebastian and Stenetorp, Pontus and Grefenstette, Edward and Rockt{\"a}schel, Tim},
  booktitle={Neuro-Symbolic Artificial Intelligence: The State of the Art},
  pages={280--293},
  year={2021},
  publisher={IOS Press}
}

{"_id":"3t7JMmb8vQWe8iBTT","bibbaseid":"minervini-riedel-stenetorp-grefenstette-rocktschel-learningreasoningstrategiesinendtoenddifferentiableproving-2021","author_short":["Minervini, P.","Riedel, S.","Stenetorp, P.","Grefenstette, E.","Rocktäschel, T."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Learning reasoning strategies in end-to-end differentiable proving","author":[{"propositions":[],"lastnames":["Minervini"],"firstnames":["Pasquale"],"suffixes":[]},{"propositions":[],"lastnames":["Riedel"],"firstnames":["Sebastian"],"suffixes":[]},{"propositions":[],"lastnames":["Stenetorp"],"firstnames":["Pontus"],"suffixes":[]},{"propositions":[],"lastnames":["Grefenstette"],"firstnames":["Edward"],"suffixes":[]},{"propositions":[],"lastnames":["Rocktäschel"],"firstnames":["Tim"],"suffixes":[]}],"booktitle":"Neuro-Symbolic Artificial Intelligence: The State of the Art","pages":"280–293","year":"2021","publisher":"IOS Press","bibtex":"@incollection{minervini2021learning,\n title={Learning reasoning strategies in end-to-end differentiable proving},\n author={Minervini, Pasquale and Riedel, Sebastian and Stenetorp, Pontus and Grefenstette, Edward and Rockt{\\\"a}schel, Tim},\n booktitle={Neuro-Symbolic Artificial Intelligence: The State of the Art},\n pages={280--293},\n year={2021},\n publisher={IOS Press}\n}\n\n","author_short":["Minervini, P.","Riedel, S.","Stenetorp, P.","Grefenstette, E.","Rocktäschel, T."],"key":"minervini2021learning","id":"minervini2021learning","bibbaseid":"minervini-riedel-stenetorp-grefenstette-rocktschel-learningreasoningstrategiesinendtoenddifferentiableproving-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://bibbase.org/f/EFCPtS4jFngAEvpTk/rockt.bib","dataSources":["CnmhbXT8Az9hfrJyh"],"keywords":[],"search_terms":["learning","reasoning","strategies","end","end","differentiable","proving","minervini","riedel","stenetorp","grefenstette","rocktäschel"],"title":"Learning reasoning strategies in end-to-end differentiable proving","year":2021}