Abundant Labs
Pinned Loading
Repositories
Showing 10 of 36 repositories
-
- rsi-bench-assets Public
Builder-made artifacts for rsi-bench-tasks that are too large for git (start-model adapters etc.); pinned by sha256 from task Dockerfiles. No benchmark held sets.
- sre-world Public
- theoremsmith Public
Turn a Lean 4 repository into a graded proof task: build it, cut a theorem's proof, and grade a solver's replacement.
-
- old-harbor Public Forked from harbor-framework/harbor
Harbor is a framework for running agent evaluations and creating and using RL environments.
