Robert Joseph's Projects
Run Python programs by blinking twice
Competitive programming solutions - Leetcode, Hackerrank, Codechef, Project Euler, Codeforces
[Re] D-CODE: Discovering Closed-form ODEs from Observed Trajectories
GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection
Notebooks , Machine Learning Algorithms and Notes
LLMs as Copilots for Theorem Proving in Lean
Tool for data extraction and interacting with Lean programmatically.
Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"
Machine Learning Algorithms implementation - Following no particular textbook but a combination of textbooks and course topics covered in ML courses at the University of Alberta
Learning in infinite dimension with neural operators.
Implementation of all the Numerical Algorithms covered in the textbook (A first course on numerical methods) as well as additional Algorithms taught at the University of Alberta.
Personal Website
Retrieval-Augmented Theorem Provers for Lean
Implementation of code for various research papers that I like
Special Repository
CLRS(Introduction to Algorithms) - Python/C++/Java Implementation of all the major Algorithms in the CLRS Textbook as well as additional algorithm's covered in the University of Alberta theory Courses
Mathematics + Statistics Courses at the University of Alberta
Implementation of Vision Mamba from the paper: "Vision Mamba: Efficient Visual Representation Learning with Bidirectional State Space Model" It's 2.8x faster than DeiT and saves 86.8% GPU memory when performing batch inference to extract features on high-res images