Author

Cristian Curaba

3 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Series and Parallel Dependency Links: Vitality for Interdependent Networks of Networks

In a network of networks, a dependency link runs from a supplier to the node it serves and binds the supplier's failure to the node's failure. Indices computed from the graph topology leave aside the service each edge carries, but in real interdependent systems that service decides how failure propagates: a pumping sta...

Cristian Curaba, Stefano Grimaz · 1 citation

#natural language process... Review Oct 2026

Natural Language to First-Order Logic LLM-based Autoformalization

This paper provides a principled definition for the FOL-autoformalization task by distinguishing Ontology Extraction from Logical Translation and identifies open challenges in benchmarking, semantic evaluation, ontology-aware methods, and end-to-end applications.

Andrea Brunello, Cristian Curaba, Luca Geatti et al. · 1 citation

#artificial intelligence Review Jun 2026

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

An LLM-based framework to support humans in manual reviewing NL-to-FOL datasets is proposed, and it is empirically show that it is possible to achieve 90% dataset accuracy after reviewing fewer than 20% of instances, compared to over 76% required by unguided review.

Andrea Brunello, Cristian Curaba, Luca Geatti et al. · arXiv.org · 2 citations