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
Hang He's picture

Hang He

Benchanything
1 3 1
  • Benchanything

AI & ML interests

None yet

Recent Activity

submitted a paper about 18 hours ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
authored a paper about 18 hours ago
LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services
authored a paper about 18 hours ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
View all activity

Organizations

None yet

upvoted a paper 1 day ago

CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?

Paper • 2610.07557 • Published 2 days ago • 53
upvoted a paper 2 months ago

Deferred Exposure of Future Trajectories for Verifiable Reasoning in Autonomous Driving VLMs

Paper • 2608.01755 • Published Aug 3 • 58
upvoted a paper 5 months ago

LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services

Paper • 2512.07436 • Published Dec 8, 2025 • 1
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs