TY  - RPRT
TI  - Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
AU  - Andrea Bombarda
AU  - Silvia Bonfanti
AU  - Angelo Gargantini
AU  - Nico Pellegrinelli
PY  - 2026
UR  - https://arxiv.org/abs/2603.15375
ID  - 2603.15375
ER  -