MATHSENSEI: Ein Tool-unterstütztes Großsprachmodell für mathematisches Schlussfolgern
MATHSENSEI ist ein Tool-unterstütztes Großsprachmodell, das durch den Einsatz von externen Tools wie Bing-Websuche, Python-Ausführung und symbolische Gleichungslösung die Fähigkeiten von Großsprachmodellen zum mathematischen Schlussfolgern verbessert.