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