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

Simplified Reasoning

non-profit
Simplified-Reasoning
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

zzzhr97  authored a paper about 4 hours ago
Characterizing, Evaluating, and Optimizing Complex Reasoning
zzzhr97  authored a paper about 4 hours ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics
zzzhr97  submitted a paper about 9 hours ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics
View all activity

Papers

ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics

$π$-Bench: Evaluating Proactive Personal Assistant Agents in Long-Horizon Workflows

View all Papers

Runzhe Zhan's profile pictureYafu Li's profile pictureHaoran Zhang's profile picture

models 1

Simplified-Reasoning/SU-01

Text Generation • 31B • Updated 22 days ago • 1.11k • 27

datasets 0

None public yet
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs