On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal
Methods in Practice<pre>@inproceedings{Autexier-24-a,
  author        = {Serge Autexier},
  editor        = {Tiziana Margaria and Bernhard Steffen},
  booktitle     = {12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies (ISOLA 2024),Crete, Greece, October 27–31, 2024,  Part IV},
  title         = {On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal
Methods in Practice},
  volume        = {15222},
  series        = {LNCS},
  publisher     = {Springer Cham},
  month         = {october},
  year          = {2024},
}
</pre>