Showing 2026Show all
2 papers · 1 filter
cs.FL2026
The -Chain Product: A Succinct Model of Automata (De)Composition (Extended Version)
Roberto Borelli, Davide Bresolin, Luca Geatti +2
The cascade product is a fundamental construction in automata theory, enabling hierarchical composition of automata and playing a central role in decomposition results such as the…
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…