ISO-690 (author-date, English)

BHARDWAJ, Ayush und FOMINA, Sasha, 2025. Probably Correct: Rethinking Formal Verification for LLM-Driven Systems. In: . 7 November 2025.

Elsevier - Harvard (with titles)

Bhardwaj, A., Fomina, S., 2025. Probably Correct: Rethinking Formal Verification for LLM-Driven Systems, in: . https://doi.org/10.1109/CSCloud66326.2025.00020

American Psychological Association 7th edition

Bhardwaj, A., & Fomina, S. (2025, November 7). Probably Correct: Rethinking Formal Verification for LLM-Driven Systems. https://doi.org/10.1109/CSCloud66326.2025.00020

Springer - Basic (author-date)

Bhardwaj A, Fomina S (2025) Probably Correct: Rethinking Formal Verification for LLM-Driven Systems

Juristische Zitierweise (Stüber) (Deutsch)

Bhardwaj, Ayush/ Fomina, Sasha, Probably Correct: Rethinking Formal Verification for LLM-Driven Systems, 2025, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.