activity
20182026
most citedOne-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

5 citations · 23 across the 18 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.CL2026

Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling

Andrea Brunello, Cristian Curaba, Luca Geatti +3

Accurate translation from Natural Language to First-Order Logic (NL-to-FOL) underpins neurosymbolic AI systems and Natural Language Inference (NLI), making the quality of NL-to-FOL…