Popular repositories Loading

1. so_text so_text Public

   Python

2. utils utils Public

   functions for data science

   Python

3. ds_notebooks ds_notebooks Public

   Jupyter Notebook

4. AI-Scientist-v2 AI-Scientist-v2 Public

   Forked from SakanaAI/AI-Scientist-v2

   The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search

   Python

5. personal_page personal_page Public

   personal page for rachelphin.com

   HTML

6. 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