ReasonSTL: Framework LLM Open-Source per la Traduzione dal Linguaggio Naturale a STL

I ricercatori hanno presentato ReasonSTL, un framework potenziato da strumenti che adatta modelli linguistici open-source locali per tradurre requisiti in linguaggio naturale in formule di Signal Temporal Logic (STL). STL è un linguaggio formale utilizzato per specificare vincoli spazio-temporali su segnali a valori reali, essenziale per la verifica e la sintesi di sistemi autonomi e ciberfisici. La specifica manuale di STL richiede competenze e non è scalabile, mentre l'uso di API LLM commerciali comporta costi elevati di token e rischi di esposizione di requisiti sensibili a terze parti. ReasonSTL scompone il processo di traduzione in passaggi di ragionamento espliciti, sfruttando il potenziamento degli strumenti per migliorare accuratezza e privacy. Il framework è progettato per l'implementazione industriale dove la riservatezza dei dati è critica. Il lavoro è stato pubblicato su arXiv con identificativo 2605.06483.