I’m Rachit, a student in Carnegie Mellon’s School of Computer Science. I work on AI tools, robotics perception, and computing systems, with an interest in how people use them.
Selected work
All work- Mathematical Theorem RetrievalUW Math AI Lab, 2026NeurIPS 2026 workshop acceptanceDeveloped embeddings for retrieving mathematical statements across natural language, LaTeX, and Lean.
- CMR — LiDAR Lane DetectionRobotics / Graph theory, ongoingIn progressExploring graph theory for lane detection from LiDAR point clouds.
- ARUW — Real-Time PerceptionAdvanced Robotics at UW, 2025–26Roughly 30 ms → 6–7 msEnd-to-end latency for a YOLO-based Jetson detection and classification pipeline.
Notebook
Experience, research, and technical notes in one running record.