NousResearch/atropos
1
0
Fork 0
mirror of https://github.com/NousResearch/atropos.git synced 2026-05-03 17:53:17 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

linting

Browse source
This commit is contained in:
Shannon Sands 2025-05-23 14:31:02 +10:00
parent 431c3c4aad
commit 28fb9c750f
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
environments/community/README.md
View file

@ -47,7 +47,7 @@ Once your environment is ready, please follow the guidelines in our main [CONTRI
## Available Environments
### 1. Lean Proof Environment (`lean_proof_env/`)
**Author**: [GabinFay](https://github.com/GabinFay)
**Author**: [GabinFay](https://github.com/GabinFay)
**Purpose**: Testing Language Learning Models (LLMs) on Lean theorem proving tasks
A comprehensive environment for evaluating LLMs on formal mathematical reasoning using the Lean theorem prover. Features include:
@ -59,7 +59,7 @@ A comprehensive environment for evaluating LLMs on formal mathematical reasoning
**Requirements**: Lean 4 installation, OpenAI API key
### 2. Router Environment (`router_env/`)
**Author**: [GabinFay](https://github.com/GabinFay)
**Author**: [GabinFay](https://github.com/GabinFay)
**Purpose**: Multi-agent routing and coordination system
A sophisticated environment for testing agent routing and coordination capabilities. Includes:
@ -75,7 +75,7 @@ A sophisticated environment for testing agent routing and coordination capabilit
- Router agent for intelligent task delegation
### 3. Philosophical RLAIF Environment (`philosophical_rlaif_env.py`)
**Author**: [GabinFay](https://github.com/GabinFay)
**Author**: [GabinFay](https://github.com/GabinFay)
**Purpose**: Reinforcement Learning from AI Feedback (RLAIF) for philosophical reasoning
An environment focused on training models for deep philosophical inquiry and reasoning. Features: