--- references: - id: BlazekNeural2020 accessed: - year: 2020 month: 6 day: 5 author: - family: Blazek given: Paul J. - family: Lin given: Milo M. citation-key: BlazekNeural2020 container-title: arXiv:2002.11319 [cs, q-bio] issued: - year: 2020 month: 2 day: 26 title: A neural network model of perception and reasoning type: article-journal URL: http://arxiv.org/abs/2002.11319 - id: BrewinRiemann2009 accessed: - year: 2021 month: 5 day: 10 author: - family: Brewin given: Leo citation-key: BrewinRiemann2009 container-title: Classical and Quantum Gravity container-title-short: Class. Quantum Grav. DOI: 10.1088/0264-9381/26/17/175017 ISSN: 0264-9381, 1361-6382 issue: '17' issued: - year: 2009 month: 9 day: 7 page: '175017' publisher: IOP Publishing title: Riemann Normal Coordinate expansions using Cadabra type: article-journal URL: http://arxiv.org/abs/0903.2087 version: '2' volume: '26' - id: BrewinUsing2019 accessed: - year: 2021 month: 5 day: 10 author: - family: Brewin given: Leo citation-key: BrewinUsing2019 container-title: arXiv:1912.08839 [gr-qc] issued: - year: 2019 month: 12 day: 18 title: Using Cadabra for tensor computations in General Relativity type: article-journal URL: http://arxiv.org/abs/1912.08839 - id: ClarkTransformers2020 accessed: - year: 2020 month: 6 day: 5 author: - family: Clark given: Peter - family: Tafjord given: Oyvind - family: Richardson given: Kyle citation-key: ClarkTransformers2020 container-title: IJCAI 2020 issued: - year: 2020 month: 5 day: 5 title: Transformers as Soft Reasoners over Language type: paper-conference URL: http://arxiv.org/abs/2002.05867 - id: LambGraph2020 accessed: - year: 2020 month: 6 day: 5 author: - family: Lamb given: Luis C. - family: Garcez given: Artur - family: Gori given: Marco - family: Prates given: Marcelo - family: Avelar given: Pedro - family: Vardi given: Moshe citation-key: LambGraph2020 container-title: IJCAI 2020 issued: - year: 2020 month: 5 day: 21 title: >- Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective type: paper-conference URL: http://arxiv.org/abs/2003.00330 - id: LampleDeep2019 accessed: - year: 2020 month: 6 day: 5 author: - family: Lample given: Guillaume - family: Charton given: François citation-key: LampleDeep2019 container-title: arXiv:1912.01412 [cs] issued: - year: 2019 month: 12 day: 2 title: Deep Learning for Symbolic Mathematics type: article-journal URL: http://arxiv.org/abs/1912.01412 - id: LozanoDuranModel author: - family: Lozano-Duran given: A - family: Bassenne given: M citation-key: LozanoDuranModel language: en page: '11' title: Towards model discovery with reinforcement learning type: article-journal - id: PeetersCadabra2007 accessed: - year: 2021 month: 5 day: 10 author: - family: Peeters given: Kasper citation-key: PeetersCadabra2007 container-title: Computer Physics Communications container-title-short: Computer Physics Communications DOI: 10.1016/j.cpc.2007.01.003 ISSN: 0010-4655 issue: '8' issued: - year: 2007 month: 4 day: 15 language: en page: 550-558 title: 'Cadabra: a field-theory motivated symbolic computer algebra system' type: article-journal URL: http://arxiv.org/abs/cs/0608005 volume: '176' - id: PeetersCadabra22018 accessed: - year: 2021 month: 5 day: 10 author: - family: Peeters given: Kasper citation-key: PeetersCadabra22018 container-title: Journal of Open Source Software DOI: 10.21105/joss.01118 ISSN: 2475-9066 issue: '32' issued: - year: 2018 month: 12 day: 22 language: en page: '1118' title: 'Cadabra2: computer algebra for field theory revisited' type: article-journal URL: https://joss.theoj.org/papers/10.21105/joss.01118 volume: '3' - id: PeetersIntroducing2018 accessed: - year: 2021 month: 5 day: 10 author: - family: Peeters given: Kasper citation-key: PeetersIntroducing2018 container-title: arXiv:hep-th/0701238 issued: - year: 2018 month: 4 day: 3 title: >- Introducing Cadabra: a symbolic computer algebra system for field theory problems type: article-journal URL: http://arxiv.org/abs/hep-th/0701238 ...