Search for a command to run...
Große Sprachmodelle sind vielseitige Zerlegungsmodelle: Zerlegen von Beweisen und Fragen für tabellenbasiertes Schließen