Sichao-Yang

Data magician @ X-Epic, China

Pinned Repositories

ai4eda-deadlines
Countdown for EDA and AI conference deadlines
Language:HTML10
bdd
my take on bdd
Language:C++10
cmake-examples
Useful CMake Examples
Language:CMake1 0 00
CMU-15-213-Intro-to-Computer-Systems
CS 15-213: Introduction to Computer Systems in 2017 Spring, CMU
Language:Assembly1 0 00
GNN_DPV
Language:C10
ICDM2022_competition_3rd_place_solution
3rd place solution of ICDM 2022 Risk Commodities Detection on Large-Scale E-Commence Graphs
Language:Python1 0 00
ImageTransfer-RTUCON2020
this vault is to share the code used in paper 'Image Transfer Applied in Electric Machine Optimization' presented in RTUCON2020
Language:Jupyter Notebook2 1 02
rebucket_with_hitl
My implementation on microsoft's rebucket algo. and upgraded with human-in-the-loop cli for result correction.
Language:Python2 1 00
top10_solution_on_icdm2022_tianchi_competition
Language:Python5 1 00
top2_solution_on_ccf2022_NLP_cls
Language:Python2 1 01

Sichao-Yang's Repositories

Sichao-Yang/top10_solution_on_icdm2022_tianchi_competition
Language:Python5 1 00
Sichao-Yang/rebucket_with_hitl
My implementation on microsoft's rebucket algo. and upgraded with human-in-the-loop cli for result correction.
Language:Python2 1 00
Sichao-Yang/top2_solution_on_ccf2022_NLP_cls
Language:Python2 1 01
Sichao-Yang/ai4eda-deadlines
Countdown for EDA and AI conference deadlines
Language:HTML10
Sichao-Yang/bdd
my take on bdd
Language:C++10
Sichao-Yang/cmake-examples
Useful CMake Examples
Language:CMake1 0 00
Sichao-Yang/GNN_DPV
Language:C10
Sichao-Yang/ICDM2022_competition_3rd_place_solution
3rd place solution of ICDM 2022 Risk Commodities Detection on Large-Scale E-Commence Graphs
Language:Python1 0 00
Sichao-Yang/minisat
my take on minisat
Language:C++10
Sichao-Yang/model_checking_algorithms
my take on classic model checking algorithms
Language:C1
Sichao-Yang/NLP_dataAug
Language:Jupyter Notebook1 1 00
Sichao-Yang/note_mage
some useful scripts for note related file management
Language:Python10
Sichao-Yang/pytorch-tutorial
PyTorch Tutorial for Deep Learning Researchers
Language:Python1 0 00
Sichao-Yang/RLMC
Language:Python1 0 00
Sichao-Yang/Sichao-Yang
Config files for my GitHub profile.
1 1 00
Sichao-Yang/sichao-yang.github.io
Language:HTML1 1 0
Sichao-Yang/simple_nlp_tasks
Language:Jupyter Notebook1
Sichao-Yang/sTimer
Language:Python1
Sichao-Yang/the_debugging_book
This repo is copied from The Debugging Book website, but attempts to refactor the original project into a cleaner state.
Language:Jupyter Notebook1
Sichao-Yang/typora_red_img_remover
Language:Python1 1 0
Sichao-Yang/verilog_sva_gh_scraper
Language:Shell1
Sichao-Yang/FormalMethods-2021
Sichao-Yang/graphrag
Language:Python
Sichao-Yang/IC3-Playground
My take on IC3. Prototype some ideas related to IC3 algorithm. Also make a comparison environment for various implementation of IC3
Language:C++
Sichao-Yang/MagiOPT
A Unified Pytorch Optimizer for Numerical Optimization
Sichao-Yang/ML4PDR
NeuroPDR: Integrating Neural Networks in the PDR Algorithm for hardware model checking (MLCAD 2023)
Sichao-Yang/openai-cookbook
Examples and guides for using the OpenAI API
Language:MDX
Sichao-Yang/poems
Sichao-Yang/SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
Language:Python
Sichao-Yang/Sky130-RTL-Design-And-Synthesis-Using-Verilog
0 0