Chi Jin

3 papers Princeton University

• Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
• Learning World Models for Interactive Video Generation
• Understanding outer learning rates in Local SGD