Hugging Face's logo
Rohit Saxena's picture
10 17 5

Rohit Saxena

rohitsaxena
agrv's profile picture HEmile's profile picture pingnieuk's profile picture
ยท
https://saxenarohit.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper 11 days ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
authored a paper 11 days ago
VLM-RobustBench: A Comprehensive Benchmark for Robustness of Vision-Language Models
authored a paper 11 days 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 Inverse Scaling's profile picture