Pinned Repositories
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
nest-simulator
The NEST simulator
NewtonAcc
PCA-GM
Code for ICCV 2019 oral paper: Learning Combinatorial Embedding Networks for Deep Graph Matching
ResearchDigest
TopologyDetect
Combinatorial Optimization on Topology Detection
WebLog
Web Log demo with Django
ZOOpt
A python package of Zeroth-Order Optimization (ZOOpt)
VR-project
Lucmon's Repositories
Lucmon/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
Lucmon/nest-simulator
The NEST simulator
Lucmon/NewtonAcc
Lucmon/PCA-GM
Code for ICCV 2019 oral paper: Learning Combinatorial Embedding Networks for Deep Graph Matching
Lucmon/ResearchDigest
Lucmon/TopologyDetect
Combinatorial Optimization on Topology Detection
Lucmon/WebLog
Web Log demo with Django
Lucmon/ZOOpt
A python package of Zeroth-Order Optimization (ZOOpt)