Popular repositories Loading

1. SMT_RL_test SMT_RL_test Public

   Python

2. llmlean llmlean Public

   Forked from cmu-l3/llmlean

   LLMs + Lean, on your laptop or in the cloud

   Lean

3. AgentLaboratory AgentLaboratory Public

   Forked from samuelarogbonlo/AgentLaboratory

   Agent Laboratory is an end-to-end autonomous research workflow meant to assist you as the human researcher toward implementing your research ideas

   Python

4. TinyLeanZero TinyLeanZero Public

   Forked from Jiayi-Pan/TinyZero

   Clean, minimal, accessible reproduction of DeepSeek R1-Zero

   Python