Hinataee

Studying at Beijing University of Posts and Telecommunications as a undergraduate student.

Pinned Repositories

abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C919 39 190594
forwardgnn
This repository provides code for the paper "Forward Learning of Graph Neural Networks" (ICLR 2024).
Language:Python14 2 11
CoursesML
Machine Learning 期末大作业水表识别存档
Language:Python0 2 00
GPU_pro
0 1 00
Gamora
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
Language:C47 3 65