Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need.

Richard Thompson, Adam Pease, Mathias Klsch, Angelos Toutsios

Browse the full NeSy paper archive.