premise_selection_graph Repository for the paper Premise Selection in Natural Language Mathematical Texts Dataset can be found here: https://github.com/debymf/nl-ps Contact deborah[dot]ferreira[at]manchester[dot]ac[dot]uk