SichaoY's Projects
Course Project for Advanced Optimization and Game Theory for Energy Systems (Prof Jalal Kazempour, DTU, January 2021)
Countdown for EDA and AI conference deadlines
A simple AXI demo example
my take on bdd
Useful CMake Examples
CS 15-213: Introduction to Computer Systems in 2017 Spring, CMU
My solutions for 2019/2021 CS224n Assignments.
My take on IC3. Prototype some ideas related to IC3 algorithm. Also make a comparison environment for various implementation of IC3
3rd place solution of ICDM 2022 Risk Commodities Detection on Large-Scale E-Commence Graphs
this vault is to share the code used in paper 'Image Transfer Applied in Electric Machine Optimization' presented in RTUCON2020
an implementation of latent Dirichlet allocation (LDA) with stochastic variational inference
A Unified Pytorch Optimizer for Numerical Optimization
my take on minisat
NeuroPDR: Integrating Neural Networks in the PDR Algorithm for hardware model checking (MLCAD 2023)
my take on classic model checking algorithms
My codes of models in MiniZinc (constraint programming). Every folder has an own README-file with a detailed explanation.
some useful scripts for note related file management
Examples and guides for using the OpenAI API
PyTorch Tutorial for Deep Learning Researchers
My implementation on microsoft's rebucket algo. and upgraded with human-in-the-loop cli for result correction.
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
Config files for my GitHub profile.