Rohit Saxena
rohitsaxena
AI & ML interests
None yet
Recent Activity
authored a paper 1 day ago
Chain-of-Thought Faithfulness of Reasoning Models Varies with Where and How Preference Cues Are Delivered upvoted a paper 3 months ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation