Ruize Xu's repositories
cnine
Cnine tensor library
copra
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
vision-transformers-cifar10
Let's train vision transformers (ViT) for cifar 10!
Efficient-AI-Backbones
Efficient AI Backbones including GhostNet, TNT and MLP, developed by Huawei Noah's Ark Lab.
dotfiles
dotfiles containing my zshrc (and potentially) nvim
Econ-21020-potential-octo-engine
Subbmision to Econ21020 homework
GNNPapers
Must-read papers on graph neural networks (GNN)
advent_of_code
speedrun advent_of_code 2022
N3F
Trying out N3F
SMP2019_LSTM_w2v
This is a toy project where I classified SMP2019 data and trained a model to predict Chinese language.
MachineLearningAlgo
A few implementations of a Machine Learning class
Computer-Vision-Image-Detection-Project
project for image detection with hough transform, homography, and perspective transform
cpp-cheat-sheet
C++ Syntax, Data Structures, and Algorithms Cheat Sheet
cnn_graph
Convolutional Neural Networks on Graphs with Fast Localized Spectral Filtering
NoLimitBundleUpdated
No Limit Bundle Updated (Mount & Blade II Bannerlord mod)
dabnn
dabnn is an accelerated binary neural networks inference framework for mobile platform
LanczosNetwork
Lanczos Network, Graph Neural Networks, Deep Graph Convolutional Networks, Deep Learning on Graph Structured Data, QM8 Quantum Chemistry Benchmark, ICLR 2019
graph_comb_opt
Implementation of "Learning Combinatorial Optimization Algorithms over Graphs"
resnet-classifier
Deep ConvNet Image Classifier based on Residual Network architecture trained on Caltech 101 Object Dataset
Hello-World
this is hello world