Pinned Repositories
CoDA-NO
Codomain attention neural operator for single to multi-physics PDE adaptation.
GaLore
GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection
neuraloperator
Learning in infinite dimension with neural operators.
MinAtar-Faster
Optimized version of the MinAtar (testbed for AI agents) codebase along with benchmarks for standard Reinforcement Learning agents on various environments.
BlinkEyePython
Run Python programs by blinking twice
IBM-Data-Science
Notebooks , Machine Learning Algorithms and Notes
LeanCopilot-RAG
LLMs as Copilots for Theorem Proving in Lean
Personal-Website
Personal Website
Theoretical-Algorithms-Implementation
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
UAlberta-Mathematics
Mathematics + Statistics Courses at the University of Alberta
Robertboy18's Repositories
Robertboy18/Theoretical-Algorithms-Implementation
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
Robertboy18/UAlberta-Mathematics
Mathematics + Statistics Courses at the University of Alberta
Robertboy18/IBM-Data-Science
Notebooks , Machine Learning Algorithms and Notes
Robertboy18/Personal-Website
Personal Website
Robertboy18/BlinkEyePython
Run Python programs by blinking twice
Robertboy18/LeanCopilot-RAG
LLMs as Copilots for Theorem Proving in Lean
Robertboy18/EDCDE-ICLR-2023
[Re] D-CODE: Discovering Closed-form ODEs from Observed Trajectories
Robertboy18/Machine-Learning-Algorithms-Implementation
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
Robertboy18/neuraloperator
Learning in infinite dimension with neural operators.
Robertboy18/Numerical-Algorithms-Implementation
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.
Robertboy18/Comptetive-Programming-Solutions
Competitive programming solutions - Leetcode, Hackerrank, Codechef, Project Euler, Codeforces
Robertboy18/GaLore-NO
GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection
Robertboy18/LeanDojo-Dynamic
Tool for data extraction and interacting with Lean programmatically.
Robertboy18/LPSDA
Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"
Robertboy18/markov_neural_operator
Robertboy18/ReProver_dynamic
Retrieval-Augmented Theorem Provers for Lean
Robertboy18/Research-papers
Implementation of code for various research papers that I like
Robertboy18/Robertboy18
Special Repository
Robertboy18/VisionMamba
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