Fetching the paper…
Reading the bibliography…
We introduce a task consisting in matching a proof to a given mathematical statement.
Developing a 21st Century Global Library for Mathematics Research
C. o. P. a. L. o. t. Mathematical Sciences. 2014 · 1905
Earlier work this paper cites.
Guiding theorem proving by recurrent neural networks
Bartosz Piotrowski and Josef Urban. 2019 · 1905
Earlier work this paper cites.
The hungarian method for the assignment problem
Harold W. Kuhn. 1955 · 1955
Earlier work this paper cites.
A shortest augmenting path algorithm for dense and sparse linear assignment problems
R. Jonker and A. Volgenant. 1987 · 1987
Earlier work this paper cites.
Acceleration of stochastic approximation by averaging
B. T. Polyak and A. B. Juditsky. 1992 · 1992
Earlier work this paper cites.
An efficient cost scaling algorithm for the assignment problem
Andrew V. Goldberg and Robert Kennedy. 1995 · 1995
Earlier work this paper cites.
Linear and semi-assignment problems: A core oriented approach
A. Volgenant. 1996 · 1996
Earlier work this paper cites.
Towards context-based disambiguation of mathematical expressions
Mihai Grigore, Magdalena Wolska, and Michael Kohlhase. 2009 · 2009
Earlier work this paper cites.
Generative language modeling for automated theorem proving
Stanislas Polu and Ilya Sutskever. 2020 · 2009
Earlier work this paper cites.
Mining coreference relations between formulas and text using Wikipedia
Minh Nghiem Quoc, Keisuke Yokoi, Yuichiroh Matsubayashi, and Akiko Aizawa. 2010 · 2010
Earlier work this paper cites.
Transforming large collections of scientific publications to xml
Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, and Bruce Miller. 2010 · 2010
Earlier work this paper cites.
Web Interface and Collection for Mathematical Retrieval: WebMIaS and MREC
Martin Líška, Petr Sojka, Michal Růžička, and Petr Mravec. 2011 · 2011
Earlier work this paper cites.
Using discourse context to interpret object-denoting mathematical expressions
Magdalena Wolska, Mihai Grigore, and Michael Kohlhase. 2011 · 2011
Cited alongside, same era.
Noise-contrastive estimation of unnormalized statistical models, with applications to natural image statistics
Michael Gutmann and Aapo Hyvärinen. 2012 · 2012
Cited alongside, same era.
Extracting definitions of mathematical expressions in scientific papers
Giovanni Yoko Kristianto, Minh quoc Nghiem, Yuichiroh Matsubayashi, and Akiko Aizawa. 2012 · 2012
Cited alongside, same era.
Mathematical language processing project
Robert Pagel and Moritz Schubotz. 2014 · 2014
Cited alongside, same era.
POS tagging and its applications for mathematics
Ulf Schöneberg and Wolfram Sperber. 2014 · 2014
Cited alongside, same era.
Tangent-cft: An embedding model for mathematical formulas
Behrooz Mansouri, Shaurya Rohatgi, Douglas Oard, Jian Wu, C.Lee Giles, and Richard Zanibbi. 2019 · 2019
Later among the works it cites.
LEGAL-BERT: The muppets straight out of law school
Ilias Chalkidis, Manos Fergadiotis, Prodromos Malakasiotis, Nikolaos Aletras, and Ion Androutsopoulos. 2020 · 2020
Later among the works it cites.
Premise selection in natural language mathematical texts
Deborah Ferreira and André Freitas. 2020 · 2020
Later among the works it cites.
Learning to match mathematical statements with proofs
Maximin Coavoux and Shay B Cohen. 2021 · 2021
Later among the works it cites.
Embedding and generalization of formula with context in the retrieval of mathematical information
Pankaj Dadure, Partha Pakray, and Sivaji Bandyopadhyay. 2021 · 2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Retrieval of research-level mathematical information needs: A test collection and technical terminology experiment
Yiannos Stathopoulos and Simone Teufel. 2015 · 2015
Cited alongside, same era.
”why should I trust you?”: Explaining the predictions of any classifier
Marco Túlio Ribeiro, Sameer Singh, and Carlos Guestrin. 2016 · 2016
Cited alongside, same era.
Semantification of identifiers in mathematics for better math information retrieval
Moritz Schubotz, Alexey Grigorev, Marcus Leich, Howard S. Cohl, Norman Meuschke, Bela Gipp, Abdou S. Youssef, and Volker Markl. 2016 · 2016
Cited alongside, same era.
Mathematical information retrieval based on type embeddings and query expansion
Yiannos Stathopoulos and Simone Teufel. 2016 · 2016
Cited alongside, same era.
Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topic, and Kenny Davila. 2016 · 2016
Cited alongside, same era.
Variable typing: Assigning meaning to variables in mathematical text
Yiannos Stathopoulos, Simon Baker, Marek Rei, and Simone Teufel. 2018 · 2018
Cited alongside, same era.
BERT: Pre-training of deep bidirectional transformers for language understanding
Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019 · 2019
Cited alongside, same era.
STAR: Cross-modal [STA]tement [R]epresentation for selecting relevant mathematical premises
Deborah Ferreira and André Freitas. 2021 · 2021
Later among the works it cites.
Proof artifact co-training for theorem proving with language models
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, and Stanislas Polu. 2021 · 2021
Later among the works it cites.
Mathbert: A pre-trained model for mathematical formula understanding
Shuai Peng, Ke Yuan, Liangcai Gao, and Zhi Tang. 2021 · 2021
Later among the works it cites.
Mathbert: A pre-trained language model for general NLP tasks in mathematics education
Jia Tracy Shen, Michiharu Yamashita, Ethan Prihar, Neil T. Heffernan, Xintao Wu, and Dongwon Lee. 2021 · 2021
Later among the works it cites.
Naturalproofs: Mathematical theorem proving in natural language
Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, and Kyunghyun Cho. 2021 · 2021
Later among the works it cites.
To be or not to be an integer? encoding variables for mathematical text
Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, Julia Rozanova, and Andre Freitas. 2022 · 2022
Later among the works it cites.
Erasure of unaligned attributes from neural representations
Shun Shao, Yftah Ziser, and Shay B. Cohen. 2023 · 2023
Closest in time.