Hugging Face's logo
Rohit Saxena's picture

Rohit Saxena

rohitsaxena
10 18 5
Reza2kn's profile picture Neelectric's profile picture agrv's profile picture
·
https://saxenarohit.github.io/

AI & ML interests

None yet

Recent Activity

authored a paper about 1 month ago
Chain-of-Thought Faithfulness of Reasoning Models Varies with Where and How Preference Cues Are Delivered
upvoted a paper about 1 month ago
Chain-of-Thought Faithfulness of Reasoning Models Varies with Where and How Preference Cues Are Delivered
upvoted a paper 4 months ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
View all activity

Organizations

hallucinations-leaderboard's profile picture EdinburghNLP - Natural Language Processing Group at the University of Edinburgh'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