Rui Han's repositories
Compiler-homework
UCAS编译程序作业
Ailuras
GitHub profile
000
Ailuras.github.io
https://Ailuras.github.io/
Language:HTML000
ChatGPT-Next-Web
A cross-platform ChatGPT/Gemini UI (Web / PWA / Linux / Win / MacOS). 一键拥有你自己的跨平台 ChatGPT/Gemini 应用。
Language:TypeScriptMIT000
G4SATBench
[TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Language:PythonMIT000
ML-learn
个人学习记录
Language:Jupyter Notebook000
notion-pages
Deploy your own Notion-powered website in minutes with Next.js and Vercel.
Language:TypeScriptMIT000
Language:Python000
revisiting_robustness
The codebase used to generate the reults in the ICLR 2023 paper "Revisiting Robustness in Graph Machine Learning".
Language:Jupyter NotebookMIT000
RL-learn
个人学习记录
Language:Jupyter Notebook000
SAT-learn
以前的学习记录，以及一些实验存档。
Language:Jupyter NotebookMulanPSL-2.0000
SMT-learn
以前的学习记录，以及做过的实验存档。
Language:SMT000
Language:SMT000