nhaorand

A PhD student from Shanghai Jiao Tong University

Pinned Repositories

mxnet
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more
Language:C++0 1 00
SQLSolver
An automated prover that verifies the equivalence of SQL queries
Language:Java21 9 00
SQLSolver-artifacts
Language:Java00

nhaorand's Repositories

nhaorand/mxnet
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more
Language:C++0 1 00