vltanh

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

botwar-battleship

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

trackun

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

hcmus-DataMining

torchsort-exp

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

circle-loss-exp

filtering

ict2020-math4ai

ICT2020's "Mathematics and Its Applications in Artificial Intelligence" Coursework

ict2020-dl-hw1

lean4-examples

Examples of Lean 4 mathematical proofs

narupedia

HCMUS's "Statistical Machine Learning" - Final Project

pytorch-active-learning

An implementation of various active learning algorithms.

pytorch-metric-learning

The easiest way to use deep metric learning in your application. Modular, flexible, and extensible. Written in PyTorch.

vltanh.github.io

A beautiful, simple, clean, and responsive Jekyll theme for academics

alpha_mix_active_learning

The official implementation of Active Learning by Feature Mixing (ALFA-Mix) paper

DISCO-QR-STAR

UIUC CS 581 Final Project

ganet-al

ict2020-bigdata

ICT2020's "Big Data" Coursework

ict2020-dl-hw2

ict2020-ir

ICT2020's "Information Retrieval" Coursework

ict2020-ir-assignment5

ICT2020's "Information Retrieval" Coursework

mathematics_in_lean

PythonRobotics

Python sample codes for robotics algorithms.

rbm_sl

rl-2048

Project on Reinforcement Learning algorithms applied on the 2048 game

vltanh

Config files for my GitHub profile.

vltanh-blog-2

Personal blog of Vu Le The Anh