Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
xentau
's Collections
x01
x0
x0
updated
Apr 29
Upvote
-
FOLIO: Natural Language Reasoning with First-Order Logic
Paper
•
2209.00840
•
Published
Sep 2, 2022
tasksource/folio
Viewer
•
Updated
Jan 18, 2024
•
1.2k
•
271
•
15
datatune/LogiCoT
Viewer
•
Updated
Apr 12, 2024
•
668k
•
65
•
60
tasksource/Boardgame-QA
Viewer
•
Updated
Jun 14, 2023
•
37.5k
•
71
•
6
KK04/LogicInference_OA
Viewer
•
Updated
Apr 5, 2023
•
54.6k
•
53
•
18
ssbuild/alpaca_thoughtsource
Viewer
•
Updated
Jul 9, 2023
•
343k
•
18
•
3
opendatalab/ProverQA
Preview
•
Updated
Jun 11
•
92
•
6
Upvote
-
Share collection
View history
Collection guide
Browse collections