Pinned Repositories
ADMN
A tensorflow implementation for "Attention-based Adaptive Memory Network for Recommendation with Review and Rating"
kancolle_bot
舰队collection自动机器人
lean-gym
LEGO-Prover
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
MyGameScript
一堆无聊手游的脚本
POETRY
Code for the paper: Proving Theorems Recursively
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
taptap-web-crawler
A web crawler for taptap
transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
trpg
一个用来玩COC跑团的玩意
wiio12's Repositories
wiio12/LEGO-Prover
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
wiio12/POETRY
Code for the paper: Proving Theorems Recursively
wiio12/trpg
一个用来玩COC跑团的玩意
wiio12/MyGameScript
一堆无聊手游的脚本
wiio12/taptap-web-crawler
A web crawler for taptap
wiio12/ADMN
A tensorflow implementation for "Attention-based Adaptive Memory Network for Recommendation with Review and Rating"
wiio12/kancolle_bot
舰队collection自动机器人
wiio12/bootcamp_test
wiio12/Hello-World
First time using github
wiio12/poi-bot
wiio12/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
wiio12/lean-gym
wiio12/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
wiio12/trlx
A repo for distributed training of language models with Reinforcement Learning via Human Feedback (RLHF)
wiio12/lean-web-editor
Lean 3 web editor
wiio12/ReProver
Retrieval-Augmented Theorem Provers for Lean
wiio12/RETRO-pytorch
Implementation of RETRO, Deepmind's Retrieval based Attention net, in Pytorch
wiio12/suncet
Code to reproduce the results in the FAIR research papers "Semi-Supervised Learning of Visual Features by Non-Parametrically Predicting View Assignments with Support Samples" https://arxiv.org/abs/2104.13963 and "Supervision Accelerates Pre-training in Contrastive Semi-Supervised Learning of Visual Representations" https://arxiv.org/abs/2006.10803
wiio12/TextAugmentation-GPT2
Fine-tuned pre-trained GPT2 for custom topic specific text generation. Such system can be used for Text Augmentation.