SIRNA: Utilizzo dei risolutori SMT per verificare la coerenza delle regole aziendali
SIRNA, un nuovo strumento, mira ad allineare le descrizioni in linguaggio naturale delle regole aziendali con le loro effettive implementazioni. I ricercatori hanno presentato questo sistema su arXiv (2608.00396), che unisce grandi modelli linguistici (LLM) con tecniche di verifica formale, in particolare i risolutori SMT. SIRNA traduce la documentazione delle regole aziendali in potenziali formule SMT utilizzando LLM, validando successivamente queste traduzioni. Trasforma inoltre le corrispondenti regole aziendali in equivalenti SMT e le verifica rispetto alle rappresentazioni in linguaggio naturale. Un caso di studio incentrato sui calcoli dei costi nel settore fiscale illustra una notevole diminuzione dei falsi positivi rispetto alle valutazioni di base. Questo metodo può essere applicato in vari campi in cui la logica aziendale è documentata e codificata.
Fatti principali
- SIRNA è uno strumento per verificare la coerenza tra le regole aziendali in linguaggio naturale e le loro implementazioni.
- Utilizza risolutori SMT e grandi modelli linguistici (LLM).
- Il sistema traduce la documentazione in linguaggio naturale in formule SMT candidate.
- Valida le traduzioni e verifica le corrispondenti regole aziendali rispetto ad esse.
- Il caso di studio si concentra sui calcoli dei costi nel settore fiscale.
- SIRNA riduce i falsi positivi rispetto alle valutazioni di base.
- Il metodo è generalizzabile ad altri domini.
- L'articolo è disponibile su arXiv con identificativo 2608.00396.
Entità
Istituzioni
- arXiv