Coder Social home page Coder Social logo

You                 are                 my

Visitor Count

visitor.

🤎❤️💚💙Welcome🧡💛💜 🖤

I'm Zhonghan Wang

  • 🔭 I’m currently studying on Institute of Software, Chinese Academy of Sciences
  • 🌱 I’m currently learning SMT solver, Formal method
  • 👯 Currently working in Beijing, China
  • 🤔 I love Reading and writing
  • 💬 Welcome to talk about studying and also playing 😏
  • 📫 How to contact me:
  • ⚡ Fun fact: Games and no more...

About My Github

Top Langs

yogurt-shadow's GitHub stats

Zhonghan Wang's Projects

arp_cg icon arp_cg

Column Generation Algorithm for Aircraft Recovery Problem (ARP)

berkeley-cs170 icon berkeley-cs170

Some learning materials and self-experience for cs170 (Efficient Algorithms and Intractable Problems).

berkeley-cs61b icon berkeley-cs61b

Learning experience for CS61B (data structure and algorithm). Study hard and have fun!

cmu-15-424 icon cmu-15-424

15-424: Logical Foundations of Cyber-Physical Systems (Fa'19)

dl4tp icon dl4tp

[COLM 2024] A Survey on Deep Learning for Theorem Proving

dnlsat icon dnlsat

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic

dreal4 icon dreal4

Automated Reasoning in Nonlinear Theories of Reals

easy-rl icon easy-rl

强化学习中文教程（蘑菇书），在线阅读地址：https://datawhalechina.github.io/easy-rl/

fastsmt icon fastsmt

Learning to Solve SMT Formulas Fast

klee icon klee

KLEE Symbolic Execution Engine

leetcode icon leetcode

My leetcode training. Practice makes perfect!

ls_nra-vmcai2024 icon ls_nra-vmcai2024

Code for "Efficient Local Search for Nonlinear Real Arithmetic", VMCAI'2024

manim_exercise icon manim_exercise

Actions and videos for mathematics with Manim. Some exercise and creative ideas just for fun!

nku-eecs icon nku-eecs

My learning material at Nankai University (EECS).

ropey icon ropey

Neural-guided Inductive Generalization.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.