Popular repositories Loading

1. BanditPAM BanditPAM Public

   Forked from motiwari/BanditPAM

   BanditPAM C++ implementation and Python package

   C++

2. LeanAgent LeanAgent Public

   Forked from lean-dojo/LeanAgent

   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

3. multimodal_ai_agent multimodal_ai_agent Public

   Python

4. charlie-munger-talks charlie-munger-talks Public

   Python

5. Agentic-RAG Agentic-RAG Public

   Python

6. test-finetuned-qwen test-finetuned-qwen Public

   Jupyter Notebook