Rohit Saxena

rohitsaxena

·

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

rohitsaxena 's papers 11

arxiv:2608.29464

arxiv:2605.14787

arxiv:2603.06148

arxiv:2505.10610

arxiv:2502.17540

arxiv:2502.08279

arxiv:2502.05092

arxiv:2408.06281

arxiv:2406.04127

arxiv:2404.05904

arxiv:2404.03561