On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice.

Serge Autexier

Browse the full ISoLA paper archive.