Daya Guo

Forschung verbessert die Datenerzeugung zur Validierung mathematischer Beweise mit KI.

Forscher entwickeln Methoden für besseren automatisierten Datenaufbereitungs-Code durch kontextreiche Beispiele.