Robert Joseph's Projects
Run Python programs by blinking twice
Competitive programming solutions - Leetcode, Hackerrank, Codechef, Project Euler, Codeforces
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
[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
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