Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
xentau
's Collections
x01
x0
x0
updated
Apr 29, 2025
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
•
1.81k
•
17
datatune/LogiCoT
Viewer
•
Updated
Apr 12, 2024
•
668k
•
70
•
63
tasksource/Boardgame-QA
Viewer
•
Updated
Jun 14, 2023
•
37.5k
•
468
•
7
KK04/LogicInference_OA
Viewer
•
Updated
Apr 5, 2023
•
54.6k
•
84
•
20
ssbuild/alpaca_thoughtsource
Viewer
•
Updated
Jul 9, 2023
•
343k
•
26
•
3
opendatalab/ProverQA
Preview
•
Updated
Jun 11, 2025
•
229
•
11
Upvote
-
Share collection
View history
Collection guide
Browse collections