Xujie Si

Dieses Papier stellt eine effiziente Baum-Diffing-Methode unter Verwendung von SAT-Lösungen vor.

Die Forschung konzentriert sich darauf, die Verifizierung von neuronalen Netzen mit minimalen NAP-Spezifikationen zu verbessern.

Ein neuer Algorithmus verbessert die Codeverfeinerung mit LLMs effizienter.

APPL vereinfacht die Entwicklung mit grossen Sprachmodellen und nutzt eine intuitive, pythonähnliche Syntax.

Tyro verbessert die Identifizierung von Typfehlern für Programmierer, besonders für Anfänger.

Forscher verbessern die Bild- und Bewegungsproduktion basierend auf Nutzeranweisungen.