Popular repositories Loading

1. ulamai ulamai Public

   UlamAI is an open-source Lean theorem prover and formalizer.

   Python 147 7

2. erdosbench erdosbench Public

   Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports

   Python 21 2

3. rave rave Public

   RAVE: Router-Aware Virtual Experts — MoE LLM compression via shared centroids and low-rank residuals

   Python 3

4. agent-eval agent-eval Public

   Agent Eval Suite is an opinionated open-source evaluation layer for agent runs.

   Python 2

5. formalchip formalchip Public

   FormalChip is a control loop for hardware formal verification

   Python 1

6. homebrew-ulamai homebrew-ulamai Public

   Homebrew tap for ulamai

   Ruby