Popular repositories Loading

1. exFM exFM Public

   exFM - FM model with some useful extensions

   C++ 14 6

2. deepFM deepFM Public

   开发中ちゅう 未み完成かんせい。under development, not completed。an extention of exFM; a C++ implement of deepFM

   C++ 3

3. llm.c llm.c Public

   Forked from karpathy/llm.c

   LLM training in simple, raw C/CUDA

   Cuda 1

4. swing swing Public

   Swing algorithm of recommendation system

   C++

5. deepmath deepmath Public

   Forked from tensorflow/deepmath

   Experiments towards neural network theorem proving

   C++

6. CoqGym CoqGym Public

   Forked from princeton-vl/CoqGym

   A Learning Environment for Theorem Proving with the Coq proof assistant

   Coq