Markus N. Rabe

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Kshitij Bansal

> Home > Persons > Markus N. Rabe

Publications

2021
[c24]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/Rabe0BS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/Rabe0BS21
Markus Norman Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy:
Mathematical Reasoning via Self-supervised Skip-tree Training. ICLR 2021
2020
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/PaliwalLRBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/PaliwalLRBS20
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy:
Graph Representations for Higher-Order Logic and Theorem Proving. AAAI 2020: 2967-2974
[c19]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/LeeSRLB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/LeeSRLB20
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal:
Mathematical Reasoning in Latent Space. ICLR 2020
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-04757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-04757
Markus N. Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy:
Language Modeling for Formal Mathematics. CoRR abs/2006.04757 (2020)
2019
[c17]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/BansalLRSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/BansalLRSW19
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox:
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. ICML 2019: 454-463
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-03241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-03241
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox:
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). CoRR abs/1904.03241 (2019)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-10006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-10006
Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy:
Graph Representations for Higher-Order Logic and Theorem Proving. CoRR abs/1905.10006 (2019)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-10501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-10501
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy:
Learning to Reason in Large Theories without Imitation. CoRR abs/1905.10501 (2019)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-11851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-11851
Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal:
Mathematical Reasoning in Latent Space. CoRR abs/1909.11851 (2019)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.