NL2UNIFOL: From Natural Language Sentences to Uniform First-Order Logic FormulaeDate: July 18, 2026Share on Bluesky Facebook LinkedIn Mastodon X (formerly Twitter) Previous Next