Zhibin Gou

Ein neuer Ansatz verbessert das wissenschaftliche Denken von Sprachmodellen durch effektive Nutzung von Werkzeugen.

Ein Tool, das dazu gedacht ist, Datenwissenschaftsaufgaben durch dynamische Planung und Fehlerprüfung zu verbessern.

Forschung zu Beweisbaum-Suchen verbessert automatisierte Theorembeweis-Methoden.