Hugging Face's logo 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
-
  • Collection guide
  • Browse collections
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs