Name: Zhonghan Wang
Type: User
Company: Nankai University
Bio: A Master student in State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
Twitter: YogurtShadow272
Location: Beijing, China
Blog: https://yogurt-shadow.github.io
Zhonghan Wang's Projects
Column Generation Algorithm for Aircraft Recovery Problem (ARP)
Some learning materials and self-experience for cs170 (Efficient Algorithms and Intractable Problems).
some codes for cs61a (SICP)!
Learning experience for CS61B (data structure and algorithm). Study hard and have fun!
Data and binary version of clauseSMT.
15-424: Logical Foundations of Cyber-Physical Systems (Fa'19)
[COLM 2024] A Survey on Deep Learning for Theorem Proving
DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
Automated Reasoning in Nonlinear Theories of Reals
强化学习中文教程(蘑菇书),在线阅读地址:https://datawhalechina.github.io/easy-rl/
Learning to Solve SMT Formulas Fast
https://hrl.boyuai.com/
Isabelle exercise.
KLEE Symbolic Execution Engine
My leetcode training. Practice makes perfect!
Code for "Efficient Local Search for Nonlinear Real Arithmetic", VMCAI'2024
Actions and videos for mathematics with Manim. Some exercise and creative ideas just for fun!
Distributed Systems Spring 2020.
My learning material at Nankai University (EECS).
Pytorch for Deep Learning
Define a simple beamer theme
论文写作与资料分享
Neural-guided Inductive Generalization.