Khashayar Etemadi

Grosse Sprachmodelle verbessern das differentielle Testen in der Softwareentwicklung.

Ein neues Werkzeug kombiniert LLMs und formale Verifizierung für sicherere Codeerstellung.