HyperAI

HyperAI

Hauptbereich

GPU

Konsole
Dokumente
Preise

Pulse

Neuigkeiten

Ressourcen

Fachartikel
Notebooks
Datensätze
Wiki

Benchmarks

SOTA
LLM-Modelle
GPU-Bestenliste

Community

Veranstaltungen

Tools

Über uns Nutzungsbedingungen Datenschutzerklärung
Deutsch

Command Palette

Search for a command to run...

HyperAI
Papers
Zerlegung des Rätsels: subgoalbasiertes Demonstrationslernen für formale Beweisführung

vor 6 Monaten

Codegenerierung

Ansatz/Rahmenwerk

Natürliche Sprachverarbeitung

Zusammenfassung Paper Benchmarks Ressourcen

hkunlp/subgoal-theorem-prover

Offiziell

Gestalten Sie die Zukunft der Künstlichen Intelligenz

Über uns

Über uns Hilfe zu Datensätzen

Produkte

Neuigkeiten Notebooks Datensätze Wiki

Links

© HyperAI

GitHub Discord X (formerly Twitter)

HyperAI

Hauptbereich

GPU

Konsole
Dokumente
Preise

Pulse

Neuigkeiten

Ressourcen

Fachartikel
Notebooks
Datensätze
Wiki

Benchmarks

SOTA
LLM-Modelle
GPU-Bestenliste

Community

Veranstaltungen

Tools

Über uns Nutzungsbedingungen Datenschutzerklärung
Deutsch

Command Palette

Search for a command to run...

HyperAI
Papers
Zerlegung des Rätsels: subgoalbasiertes Demonstrationslernen für formale Beweisführung

vor 6 Monaten

Codegenerierung

Ansatz/Rahmenwerk

Natürliche Sprachverarbeitung

Zusammenfassung Paper Benchmarks Ressourcen

hkunlp/subgoal-theorem-prover

Offiziell

Gestalten Sie die Zukunft der Künstlichen Intelligenz

Über uns

Über uns Hilfe zu Datensätzen

Produkte

Neuigkeiten Notebooks Datensätze Wiki

Links

© HyperAI

GitHub Discord X (formerly Twitter)

Ressourcen - Zerlegung des Rätsels: subgoalbasiertes Demonstrationslernen für formale Beweisführung | Paper | HyperAI

19

19