Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

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

Francisco López

Kurosawama
·
  • Kurocaguama

AI & ML interests

NLP, Game AI

Recent Activity

liked a dataset about 1 month ago
yale-nlp/FOLIO
updated a model about 2 months ago
Kurosawama/gemma-3-1b-it-LogLim
updated a model about 2 months ago
Kurosawama/Llama-3.2-3B-Instruct-LogLim
View all activity

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

liked a dataset about 1 month ago

yale-nlp/FOLIO

Viewer • Updated Dec 21, 2023 • 1.2k • 868 • 66
updated 5 models about 2 months ago

Kurosawama/gemma-3-1b-it-LogLim

Updated Jan 23

Kurosawama/Llama-3.2-3B-Instruct-LogLim

Updated Jan 23

Kurosawama/Llama-3.2-3B-LogLim

Updated Jan 23

Kurosawama/Llama-3.1-8B-LogLim

Updated Jan 23

Kurosawama/Llama-3.1-8B-Instruct-LogLim

Updated Jan 23
updated a collection 5 months ago

Into The Limits of Logic

Collection
Models and datasets used in the experiments reported in the paper Into The Limits of Logic: Alignment Methods for Logical Reasoning • 14 items • Updated Oct 2, 2025
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs