NL2UNIFOL: from natural language sentences to uniform first-order logic formulae

Published in Scientific Data, 2026