Zhihong Shao

Forschung verbessert die Datenerzeugung zur Validierung mathematischer Beweise mit KI.

2025-08-08T01:42:06+00:00 ― 6 min Lesedauer

Forschung zu Beweisbaum-Suchen verbessert automatisierte Theorembeweis-Methoden.

2025-06-27T10:13:12+00:00 ― 6 min Lesedauer