Harris Proctor
Robot learning and machine learning for mathematics.
I'm a 2026 computer science graduate of Colorado College. I work on robot learning, currently on autonomous data collection for manipulation, and previously spent fifteen months on an NSF grant building retrieval datasets and evaluation models for research-level mathematics.
Research
Machine learning for research-level mathematics — retrieval datasets and evaluation models, including a premise-retrieval benchmark currently under review.
View research →Robotics
Robot arms I design, build, and train for manipulation, from an SO-101 arm doing autonomous data collection to an Aloha Mini bimanual platform.
View robotics →Projects
Other software I've built outside research and robotics — mobile apps, games, and algorithm visualizers in Python, C#, and TypeScript.
View projects →