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
debouter 's Collections
AdvancedMathBench

AdvancedMathBench

updated about 3 hours ago

Datasets, model, and paper for AdvancedMathBench: process-level evaluation of advanced mathematical proof generation and verification.

Upvote
1

  • AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification

    Paper • 2607.11849 • Published Jul 13 • 29

  • internlm/AdvancedMathBench

    Viewer • Updated about 1 hour ago • 1.13k • 1

  • internlm/AdvancedMathBench-AutoVerifier

    Image-Text-to-Text • 36B • Updated about 1 hour ago
Upvote
1
  • Collection guide
  • Browse collections
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs