GeezerVison

Popular repositories Loading

1. ulamai ulamai Public

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

   Python 162 8

2. erdosbench erdosbench Public

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

   Python 26 2

3. agent-eval agent-eval Public

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

   Python 3

4. rave rave Public

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

   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

This organization has no public members. You must be a member to see who’s a part of this organization.