AI, machine learning, quantum computing, physics, mathematics, formal verification, and all sorts of other things.
- Los Angeles, CA
Popular repositories Loading
-
-
tensorflow
tensorflow PublicForked from tensorflow/tensorflow
Computation using data flow graphs for scalable machine learning
C++
-
-
-
-
qbsolv
qbsolv PublicForked from dwavesystems/qbsolv
qbsolv is a metaheuristic or partitioning solver that solves a potentially large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces that are solved either on a D…
C
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

