/premise_selection_graph

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