Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification.

Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung

Browse the full NeSy paper archive.