- 👋 Hi, I’m @Sichao-Yang
- 👀 I’m interested in machine learning and formal verification
- 🌱 I’m currently working on datapath verification for IC design
- 💞️ I’m looking to collaboration on large-scale graph learning or SMT\SAT\MC solver design.
- 📫 You can reach me via 13816901408@163.com
-
Notifications
You must be signed in to change notification settings - Fork 0
Config files for my GitHub profile.
Sichao-Yang/Sichao-Yang
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Config files for my GitHub profile.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published