Sanjeev Arora

3 papers Princeton University

• Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
• LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming?
• What Makes a Reward Model a Good Teacher? An Optimization Perspective