Pinned Loading

1. motiwari/BanditPAM motiwari/BanditPAM Public

   BanditPAM C++ implementation and Python package

   C++ 654 44

2. lean-dojo/LeanAgent lean-dojo/LeanAgent Public

   LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously lear…

   Python 36 14

3. Jetpack-Joyride Jetpack-Joyride Public

   Clone of the Jetpack Joyride game written in C for Caltech's Software Design class

   C 8 1

4. 179_vae_inference 179_vae_inference Public

   Python

5. LearningLean LearningLean Public

   Lean