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
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Francisco López's picture

Francisco López

Kurosawama
1
·
  • Kurocaguama

AI & ML interests

NLP, Game AI

Organizations

Grupo de Ingeniería Lingüística's profile picture Universidad Nacional Autónoma de México's profile picture FOL Autoformalization's profile picture

Kurosawama 's collections 1

Into The Limits of Logic
Models and datasets used in the experiments reported in the paper Into The Limits of Logic: Alignment Methods for Logical Reasoning
  • Kurosawama/Llama-3.1-8B-Instruct-LogLim

    Updated Jan 23
  • Kurosawama/gemma-3-1b-it-LogLim

    Updated Jan 23
  • Kurosawama/Llama-3.2-3B-LogLim

    Updated Jan 23
  • Kurosawama/EVAL_Llama-3.1-8B

    Viewer • Updated Sep 25, 2025 • 609 • 24
Into The Limits of Logic
Models and datasets used in the experiments reported in the paper Into The Limits of Logic: Alignment Methods for Logical Reasoning
  • Kurosawama/Llama-3.1-8B-Instruct-LogLim

    Updated Jan 23
  • Kurosawama/gemma-3-1b-it-LogLim

    Updated Jan 23
  • Kurosawama/Llama-3.2-3B-LogLim

    Updated Jan 23
  • Kurosawama/EVAL_Llama-3.1-8B

    Viewer • Updated Sep 25, 2025 • 609 • 24
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs