Angelo Gargantini

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Tool Use & Agents (1)

Frequent co-authors

Andrea Bombarda (1)Silvia Bonfanti (1)Nico Pellegrinelli (1)

Papers (1)

Mar 16, 2026

Andrea Bombarda +31d ago

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)

LLMs can now help translate informal requirements into formal specifications within model-based development frameworks, potentially easing the burden of writing temporal logic properties.

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini +1

Code Generation & Program Synthesis Natural Language Processing Tool Use & Agents

Search

Angelo Gargantini

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)