• Leading recruitment and technical interviews, running weekly subteam meetings, and mentoring new members on core data science and machine learning concepts, including modeling workflows and evaluation.

• Led development of a reinforcement learning–based proof verification system integrated with Lean, enabling step-by-step formal proof validation and error correction.

• Implemented value networks and assistant-in-the-loop reward shaping on the MiniF2F benchmark using PyTorch.