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
BounharAbdelaziz 's Collections
RL for LLMs
LLM Post-training
AI Agents
Moroccan Darija Datasets
SFT for LLMs
Reward models
SFT Mix
General RL
RL Vision
RL Maths
RL Code
RL Agents
SFT Math
SFT Informal Maths
SFT Vision
SFT Vision Thinking
SFT VLM
Code Agents
Web Agents
Frugal-AI
RLHF/RLVR
Moroccan Darija LLMs
Moroccan Darija Embeddings Models & Datasets
Moroccan Speech Models & Datasets
Translation Models & Datasets
Arabic (MSA) Language Models & Datasets
Arabic (MSA) Summarization Models & Datasets

SFT Informal Maths

updated 21 days ago
Upvote
-

  • Jiahao004/DeepTheorem

    Viewer • Updated Jul 3, 2025 • 121k • 465 • 26

  • AI-MO/NuminaMath-1.5

    Viewer • Updated Jan 29 • 896k • 5.5k • 188

    Note 900k CoT SFT with proof and non-proof data for various domains.

Upvote
-
  • Collection guide
  • Browse collections
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs