Cognition and Reasoning

Proving Olympiad Algebraic Inequalities without Human Demonstrations

Interactive Visual Reasoning Under Uncertainty

Active Reasoning in an Open-World Environment

Evaluating and Inducing Personality in Pre-trained Language Models