The-Anh Vu-Le

lean4-analysis-tao. Formalization of "Analysis I" by Terence Tao

torchan. General template for my PyTorch projects.

shrec2021-rcho. Implementation of my approach in the Retrieval of Cultural Heritage Objects (RCHO) track of the 3D Shape Retrieval Challenge (SHREC) 2021

pseudo-random-number-sampling. A collection of Pseudo-random Number Sampling methods

trackun. A Python package for (multiple) object tracking using recursive Bayesian filtering

botwar-battleship. Visualizer for Tin Hoc Tre 2016's problem, to aide the organization of the tournament for CNTN2019's Introduction to Programming.

hcmus-DataMining. Python

GameDev. C#

torchsort-exp. Conduct experiments using the soft sorting/ranking proposed in "Fast Differentiable Sorting and Ranking" (Blondel et al., 2020)

attention-mnist. Applying attention mechanism on MNIST (Handwritten Digits) Dataset.

super-resolution. Super Resolution for the internship at Coordinated Science Laboratory of UIUC

FirstOrderLogic. HCMUS's "Artificial Intelligence" - 2nd Project

GA-ImageReplication. Image Replication using Genetic Algorithm

pytorch-reidentification. Implementation of components used in re-identification (ReID) problems.

circle-loss-exp. Python

filtering. Jupyter Notebook

shopee-product-classification. Challenge #2 in Shopee Code League: Product Detection

ict2020-math4ai. ICT2020's "Mathematics and Its Applications in Artificial Intelligence" Coursework

stanford-cs224w. CS224W: Machine Learning with Graphs (Fall 2019)

ict2020-dl-hw1. Python

arithmetic-mnist. Can we perform arithmetic (namely, substraction) on MNIST digit feature vectors?

narupedia. HCMUS's "Statistical Machine Learning" - Final Project

dotfiles. Python

hcmus-db. HCMUS's "Database" - Coursework

lean4-examples. Examples of Lean 4 mathematical proofs