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
Rohit Saxena's picture

Rohit Saxena

rohitsaxena
10 17 5
schonsense's profile picture adityanandan's profile picture Reza2kn's profile picture
ยท
https://saxenarohit.github.io/
  • rohit_saxena
  • saxenarohit

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
authored a paper about 1 month ago
VLM-RobustBench: A Comprehensive Benchmark for Robustness of Vision-Language Models
authored a paper about 1 month ago
Do Composed Image Retrieval Benchmarks Require Multimodal Composition?
View all activity

Organizations

EdinburghNLP - Natural Language Processing Group at the University of Edinburgh's profile picture hallucinations-leaderboard's profile picture Edinburgh Dataset Analytics Working Group's profile picture Poster Summarization's profile picture Mini Reasoning's profile picture LEMUR Decoding's profile picture DateTimeReasoning's profile picture IS's profile picture

rohitsaxena 's Spaces 1

Sleeping
Agents

Trackio

๐Ÿš€

Show real-time tracking data

Dec 17, 2025
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs