yogurt-shadow

A Master student in State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.

Nankai UniversityBeijing, China

Pinned Repositories

Berkeley-cs61a
some codes for cs61a (SICP)!
Language:Python20
Berkeley-cs61b
Learning experience for CS61B (data structure and algorithm). Study hard and have fun!
Language:Java11 1 04
ClauseSMT-Artifact
Artifacts of "ClauseSMT: Clause Level NLSAT for Nonlinear Real Arithmetic".
Language:C++10
CMU-15-424
15-424: Logical Foundations of Cyber-Physical Systems (Fa'19)
Language:C++00
dnlsat
DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
Language:C++00
Isar_Exercise
Isabelle exercise.
Language:Isabelle00
leetcode
My leetcode training. Practice makes perfect!
Language:C++20
LS_NRA-VMCAI2024
Code for "Efficient Local Search for Nonlinear Real Arithmetic", VMCAI'2024
Language:C++00
smt2_generator
Script for Generating Polynomial Constraints (SMT QF_NRA)
Language:Python01
z3
This repository is used for developing new ideas and algorithms based on Z3. Commitment history during development is maintained.
Language:C++11

yogurt-shadow's Repositories

yogurt-shadow/leetcode
My leetcode training. Practice makes perfect!
Language:C++20
yogurt-shadow/ClauseSMT-Artifact
Artifacts of "ClauseSMT: Clause Level NLSAT for Nonlinear Real Arithmetic".
Language:C++10
yogurt-shadow/z3
This repository is used for developing new ideas and algorithms based on Z3. Commitment history during development is maintained.
Language:C++11
yogurt-shadow/dnlsat
DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
Language:C++00
yogurt-shadow/easy-rl
强化学习中文教程（蘑菇书），在线阅读地址：https://datawhalechina.github.io/easy-rl/
Language:Jupyter Notebook00
yogurt-shadow/LS_NRA-VMCAI2024
Code for "Efficient Local Search for Nonlinear Real Arithmetic", VMCAI'2024
Language:C++00
yogurt-shadow/smt2_generator
Script for Generating Polynomial Constraints (SMT QF_NRA)
Language:Python01
yogurt-shadow/ARP_CG
Column Generation Algorithm for Aircraft Recovery Problem (ARP)
Language:C++
yogurt-shadow/CV
Language:Typst
yogurt-shadow/DeepLearning
Language:Jupyter Notebook
yogurt-shadow/DL4TP
[COLM 2024] A Survey on Deep Learning for Theorem Proving
Language:Python
yogurt-shadow/dreal4
Automated Reasoning in Nonlinear Theories of Reals
yogurt-shadow/EmailScript
Script to send multiple emails.
Language:HTML
yogurt-shadow/fastsmt
Learning to Solve SMT Formulas Fast
Language:SMT
yogurt-shadow/Hands-on-RL
https://hrl.boyuai.com/
yogurt-shadow/klee
KLEE Symbolic Execution Engine
yogurt-shadow/lecture-planner-springboot
Lecture Planner Program using SprintBoot
Language:Java
yogurt-shadow/machine_learning_coursera
Language:MATLAB
yogurt-shadow/MIT-6.824
Distributed Systems Spring 2020.
Language:Go
yogurt-shadow/OR_DEMO
Language:Python
yogurt-shadow/PyTorch4DL
Pytorch for Deep Learning
Language:Jupyter Notebook
yogurt-shadow/Report
Define a simple beamer theme
yogurt-shadow/research-method
论文写作与资料分享
yogurt-shadow/Ropey
Neural-guided Inductive Generalization.
Language:SMT
yogurt-shadow/sat_solvers
Language:C++
yogurt-shadow/spacer-on-jupyter
yogurt-shadow/Tutorial-on-PhD-Application
Tutorial on PhD Application
yogurt-shadow/yogurt-shadow.github.io
Personal Homepage
Language:TeX
yogurt-shadow/Z3-IC3-PDR
Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
Language:Python
yogurt-shadow/z3-spacer
The Z3 Theorem Prover (Spacer)
Language:C++