Matteo G. Rossi

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Scalable Oversight & Alignment Theory (1)Tool Use & Agents (1)

Frequent co-authors

Alberto Tagliaferro (1)Bruno Guindani (1)Livia Lestingi (1)Matteo Rossi (1)

Papers (1)

Apr 20, 2026

Alberto Tagliaferro +4Apr 20, 2026·also PoliMi

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications

LLMs can now automatically translate messy, real-world requirements into formal specifications with surprising accuracy, opening the door to AI-driven verification of safety-critical systems.

Alberto Tagliaferro, Bruno Guindani, Livia Lestingi +2

Code Generation & Program Synthesis Natural Language Processing Scalable Oversight & Alignment Theory+1

Search

Matteo G. Rossi

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)