Spaces:
Sleeping
Resolve dependencies (#2)
Browse files- Update pyproject.toml (488d2c34fcc65af31ff45339403e85af10bc73c9)
- Update pyproject.toml (aae3f5aa4a517d1a2a4664a3a1d883f1f9117d5a)
- Update Dockerfile (c139fd5ccdb6779b75fb9f5b0e083f0156664bd5)
- update dockerfile (1c018017c14f1998b048fcf40787e723399e5bd1)
- Merge branch 'main' of https://huggingface.co/spaces/ZhiyuanZeng/RLVE_Gym into pr/1 (e5afc3dc9032bc912d3764054a8a66c59bf5fb82)
- fix imports for use (72f5a1d937aa5d17215c90902a7f0b36529ba30b)
- restore toml (3efe9a1b0c0cac285c7f22b85d7d1651deacd790)
- fix toml syntax (aa7b820ccff91b81fbc49425b56ce7f7c4be7593)
- return to non package install (9567311e9b798914cddb7d9d827235dbd3e43b0b)
- add torch (be431d9958efa0b4e9262987a261a612f9987140)
- more dependencies (a68ff1452bd150267373538d7269f6aa90b451b4)
Co-authored-by: ben burtenshaw <[email protected]>
- Dockerfile +1 -1
- pyproject.toml +10 -4
- server/RLVE_Gym_environment.py +90 -88
- server/app.py +2 -2
|
@@ -78,4 +78,4 @@ HEALTHCHECK --interval=30s --timeout=3s --start-period=5s --retries=3 \
|
|
| 78 |
# Run the FastAPI server
|
| 79 |
# The module path is constructed to work with the /app/env structure
|
| 80 |
ENV ENABLE_WEB_INTERFACE=true
|
| 81 |
-
CMD ["sh", "-c", "cd /app/env && uvicorn
|
|
|
|
| 78 |
# Run the FastAPI server
|
| 79 |
# The module path is constructed to work with the /app/env structure
|
| 80 |
ENV ENABLE_WEB_INTERFACE=true
|
| 81 |
+
CMD ["sh", "-c", "cd /app/env && uvicorn server.app:app --host 0.0.0.0 --port 8000"]
|
|
@@ -21,10 +21,10 @@ dependencies = [
|
|
| 21 |
"uvicorn>=0.24.0",
|
| 22 |
"requests>=2.31.0",
|
| 23 |
# Environment-specific dependencies
|
|
|
|
|
|
|
| 24 |
# Add all dependencies needed for your environment here
|
| 25 |
# Examples:
|
| 26 |
-
# "numpy>=1.19.0",
|
| 27 |
-
# "torch>=2.0.0",
|
| 28 |
# "gymnasium>=0.29.0",
|
| 29 |
# "openspiel>=1.0.0",
|
| 30 |
# "smolagents>=1.22.0,<2",
|
|
@@ -42,5 +42,11 @@ dev = [
|
|
| 42 |
server = "RLVE_Gym.server.app:main"
|
| 43 |
|
| 44 |
[tool.setuptools]
|
| 45 |
-
|
| 46 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 21 |
"uvicorn>=0.24.0",
|
| 22 |
"requests>=2.31.0",
|
| 23 |
# Environment-specific dependencies
|
| 24 |
+
"torch>=2.0.0",
|
| 25 |
+
"numpy>=1.19.0",
|
| 26 |
# Add all dependencies needed for your environment here
|
| 27 |
# Examples:
|
|
|
|
|
|
|
| 28 |
# "gymnasium>=0.29.0",
|
| 29 |
# "openspiel>=1.0.0",
|
| 30 |
# "smolagents>=1.22.0,<2",
|
|
|
|
| 42 |
server = "RLVE_Gym.server.app:main"
|
| 43 |
|
| 44 |
[tool.setuptools]
|
| 45 |
+
include-package-data = true
|
| 46 |
+
|
| 47 |
+
[tool.setuptools.package-dir]
|
| 48 |
+
"RLVE_Gym" = "."
|
| 49 |
+
"RLVE_Gym.server" = "server"
|
| 50 |
+
|
| 51 |
+
[tool.setuptools.packages.find]
|
| 52 |
+
include = ["RLVE_Gym*"]
|
|
@@ -7,17 +7,17 @@
|
|
| 7 |
"""
|
| 8 |
RLVE-Gym Environment Implementation.
|
| 9 |
"""
|
| 10 |
-
from openenv_core.env_server.interfaces import Environment
|
| 11 |
-
|
| 12 |
-
from ..models import RlveGymState, RlveGymAction, RlveGymObservation
|
| 13 |
|
| 14 |
from typing import Optional, Tuple
|
| 15 |
-
|
| 16 |
import random
|
| 17 |
-
|
| 18 |
-
from .
|
| 19 |
-
|
| 20 |
-
from
|
|
|
|
|
|
|
|
|
|
|
|
|
| 21 |
|
| 22 |
|
| 23 |
class RlveGymEnvironment(Environment):
|
|
@@ -26,26 +26,26 @@ class RlveGymEnvironment(Environment):
|
|
| 26 |
"""
|
| 27 |
|
| 28 |
def __init__(
|
| 29 |
-
|
| 30 |
-
|
| 31 |
-
|
| 32 |
-
|
| 33 |
-
|
| 34 |
-
|
| 35 |
"""Initialize the RLVE_Gym environment."""
|
| 36 |
-
|
| 37 |
self._state = RlveGymState(
|
| 38 |
-
seed
|
| 39 |
-
problem_input
|
| 40 |
-
num_samples
|
|
|
|
| 41 |
)
|
| 42 |
-
|
| 43 |
self.environment_identifier = environment_identifier
|
| 44 |
self.difficulty = difficulty
|
| 45 |
self.answer_markers = answer_markers
|
| 46 |
-
|
| 47 |
-
self.problem = None
|
| 48 |
|
|
|
|
| 49 |
|
| 50 |
def reset(self) -> RlveGymObservation:
|
| 51 |
"""
|
|
@@ -57,75 +57,78 @@ class RlveGymEnvironment(Environment):
|
|
| 57 |
success: Boolean indicating if the reset was successful
|
| 58 |
message: Message indicating the result of the reset
|
| 59 |
"""
|
| 60 |
-
if (self.environment_identifier not in identifier2environment) or (
|
|
|
|
|
|
|
| 61 |
return RlveGymObservation(
|
| 62 |
-
problem_input
|
| 63 |
-
verifier_result
|
| 64 |
-
success
|
| 65 |
-
message
|
| 66 |
-
reward
|
| 67 |
)
|
| 68 |
-
if not (isinstance(self.difficulty, int) and self.difficulty >= 0)
|
| 69 |
return RlveGymObservation(
|
| 70 |
-
problem_input
|
| 71 |
-
verifier_result
|
| 72 |
-
success
|
| 73 |
-
message
|
| 74 |
-
reward
|
| 75 |
)
|
| 76 |
-
if not (isinstance(self._state.seed, int) and self._state.seed >= 0)
|
| 77 |
return RlveGymObservation(
|
| 78 |
-
problem_input
|
| 79 |
-
verifier_result
|
| 80 |
-
success
|
| 81 |
-
message
|
| 82 |
-
reward
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 83 |
)
|
| 84 |
-
|
| 85 |
-
try :
|
| 86 |
-
problem : VerifiableEnvironment = identifier2environment[self.environment_identifier](answer_markers = self.answer_markers)
|
| 87 |
-
except Exception as e :
|
| 88 |
return RlveGymObservation(
|
| 89 |
-
problem_input
|
| 90 |
-
verifier_result
|
| 91 |
-
success
|
| 92 |
-
message
|
| 93 |
-
reward
|
| 94 |
)
|
| 95 |
|
| 96 |
-
controller
|
| 97 |
-
for _ in range(self.difficulty)
|
| 98 |
controller.update()
|
| 99 |
random.seed(self._state.seed)
|
| 100 |
parameter = random.choice(controller.get_parameter_list())
|
| 101 |
|
| 102 |
-
if problem.generator(seed
|
| 103 |
self._state.problem_input = problem.prompt_generator()
|
| 104 |
self.problem = problem
|
| 105 |
-
else
|
| 106 |
self._state.problem_input = None
|
| 107 |
self.problem = None
|
| 108 |
-
|
| 109 |
self._state.seed += 1
|
| 110 |
self._state.num_samples = self._state.sum_accuracy = 0
|
| 111 |
|
| 112 |
-
if self.problem is not None
|
| 113 |
return RlveGymObservation(
|
| 114 |
-
problem_input
|
| 115 |
-
verifier_result
|
| 116 |
-
success
|
| 117 |
-
message
|
| 118 |
-
reward
|
| 119 |
)
|
| 120 |
-
else
|
| 121 |
return RlveGymObservation(
|
| 122 |
-
problem_input
|
| 123 |
-
verifier_result
|
| 124 |
-
success
|
| 125 |
-
message
|
| 126 |
-
reward
|
| 127 |
)
|
| 128 |
-
|
| 129 |
|
| 130 |
def step(self, action: RlveGymAction) -> RlveGymObservation: # type: ignore[override]
|
| 131 |
"""
|
|
@@ -140,38 +143,37 @@ class RlveGymEnvironment(Environment):
|
|
| 140 |
success: Boolean indicating if the step was successful
|
| 141 |
message: Message indicating the result of the step
|
| 142 |
"""
|
| 143 |
-
if self.problem is None
|
| 144 |
return RlveGymObservation(
|
| 145 |
-
problem_input
|
| 146 |
-
verifier_result
|
| 147 |
-
success
|
| 148 |
-
message
|
| 149 |
-
reward
|
| 150 |
)
|
| 151 |
-
|
| 152 |
-
try
|
| 153 |
verifier_result = self.problem.verifier(action.output)
|
| 154 |
-
except Exception as e
|
| 155 |
return RlveGymObservation(
|
| 156 |
-
problem_input
|
| 157 |
-
verifier_result
|
| 158 |
-
success
|
| 159 |
-
message
|
| 160 |
-
reward
|
| 161 |
)
|
| 162 |
-
|
| 163 |
self._state.num_samples += 1
|
| 164 |
self._state.sum_accuracy += verifier_result["accuracy"]
|
| 165 |
-
|
| 166 |
return RlveGymObservation(
|
| 167 |
-
problem_input
|
| 168 |
-
verifier_result
|
| 169 |
-
success
|
| 170 |
-
message
|
| 171 |
-
reward
|
| 172 |
)
|
| 173 |
|
| 174 |
-
|
| 175 |
@property
|
| 176 |
def state(self) -> RlveGymState:
|
| 177 |
"""
|
|
|
|
| 7 |
"""
|
| 8 |
RLVE-Gym Environment Implementation.
|
| 9 |
"""
|
|
|
|
|
|
|
|
|
|
| 10 |
|
| 11 |
from typing import Optional, Tuple
|
|
|
|
| 12 |
import random
|
| 13 |
+
|
| 14 |
+
from openenv_core.env_server.interfaces import Environment
|
| 15 |
+
|
| 16 |
+
from models import RlveGymState, RlveGymAction, RlveGymObservation
|
| 17 |
+
from server.Gym.environment import VerifiableEnvironment
|
| 18 |
+
from server.Gym.parameter_controller import ParameterController
|
| 19 |
+
from server.Gym.environments import identifier2environment
|
| 20 |
+
from server.Gym.parameter_controllers import identifier2controller
|
| 21 |
|
| 22 |
|
| 23 |
class RlveGymEnvironment(Environment):
|
|
|
|
| 26 |
"""
|
| 27 |
|
| 28 |
def __init__(
|
| 29 |
+
self,
|
| 30 |
+
environment_identifier: str = "Multiplication",
|
| 31 |
+
difficulty: int = 0,
|
| 32 |
+
answer_markers: Optional[Tuple[str, str]] = None,
|
| 33 |
+
initial_seed: int = 0,
|
| 34 |
+
):
|
| 35 |
"""Initialize the RLVE_Gym environment."""
|
| 36 |
+
|
| 37 |
self._state = RlveGymState(
|
| 38 |
+
seed=initial_seed,
|
| 39 |
+
problem_input=None,
|
| 40 |
+
num_samples=0,
|
| 41 |
+
sum_accuracy=0,
|
| 42 |
)
|
| 43 |
+
|
| 44 |
self.environment_identifier = environment_identifier
|
| 45 |
self.difficulty = difficulty
|
| 46 |
self.answer_markers = answer_markers
|
|
|
|
|
|
|
| 47 |
|
| 48 |
+
self.problem = None
|
| 49 |
|
| 50 |
def reset(self) -> RlveGymObservation:
|
| 51 |
"""
|
|
|
|
| 57 |
success: Boolean indicating if the reset was successful
|
| 58 |
message: Message indicating the result of the reset
|
| 59 |
"""
|
| 60 |
+
if (self.environment_identifier not in identifier2environment) or (
|
| 61 |
+
self.environment_identifier not in identifier2controller
|
| 62 |
+
):
|
| 63 |
return RlveGymObservation(
|
| 64 |
+
problem_input=None,
|
| 65 |
+
verifier_result=None,
|
| 66 |
+
success=False,
|
| 67 |
+
message="Invalid environment identifier.",
|
| 68 |
+
reward=None,
|
| 69 |
)
|
| 70 |
+
if not (isinstance(self.difficulty, int) and self.difficulty >= 0):
|
| 71 |
return RlveGymObservation(
|
| 72 |
+
problem_input=None,
|
| 73 |
+
verifier_result=None,
|
| 74 |
+
success=False,
|
| 75 |
+
message="Difficulty should be a non-negative integer.",
|
| 76 |
+
reward=None,
|
| 77 |
)
|
| 78 |
+
if not (isinstance(self._state.seed, int) and self._state.seed >= 0):
|
| 79 |
return RlveGymObservation(
|
| 80 |
+
problem_input=None,
|
| 81 |
+
verifier_result=None,
|
| 82 |
+
success=False,
|
| 83 |
+
message="Seed should be a non-negative integer.",
|
| 84 |
+
reward=None,
|
| 85 |
+
)
|
| 86 |
+
|
| 87 |
+
try:
|
| 88 |
+
problem: VerifiableEnvironment = identifier2environment[self.environment_identifier](
|
| 89 |
+
answer_markers=self.answer_markers
|
| 90 |
)
|
| 91 |
+
except Exception as e:
|
|
|
|
|
|
|
|
|
|
| 92 |
return RlveGymObservation(
|
| 93 |
+
problem_input=None,
|
| 94 |
+
verifier_result=None,
|
| 95 |
+
success=False,
|
| 96 |
+
message=f"Failed to initialize environment: {e}",
|
| 97 |
+
reward=None,
|
| 98 |
)
|
| 99 |
|
| 100 |
+
controller: ParameterController = identifier2controller[self.environment_identifier]()
|
| 101 |
+
for _ in range(self.difficulty):
|
| 102 |
controller.update()
|
| 103 |
random.seed(self._state.seed)
|
| 104 |
parameter = random.choice(controller.get_parameter_list())
|
| 105 |
|
| 106 |
+
if problem.generator(seed=self._state.seed, parameter=parameter):
|
| 107 |
self._state.problem_input = problem.prompt_generator()
|
| 108 |
self.problem = problem
|
| 109 |
+
else:
|
| 110 |
self._state.problem_input = None
|
| 111 |
self.problem = None
|
| 112 |
+
|
| 113 |
self._state.seed += 1
|
| 114 |
self._state.num_samples = self._state.sum_accuracy = 0
|
| 115 |
|
| 116 |
+
if self.problem is not None:
|
| 117 |
return RlveGymObservation(
|
| 118 |
+
problem_input=self._state.problem_input,
|
| 119 |
+
verifier_result=None,
|
| 120 |
+
success=True,
|
| 121 |
+
message="Problem generated successfully.",
|
| 122 |
+
reward=None,
|
| 123 |
)
|
| 124 |
+
else:
|
| 125 |
return RlveGymObservation(
|
| 126 |
+
problem_input=None,
|
| 127 |
+
verifier_result=None,
|
| 128 |
+
success=False,
|
| 129 |
+
message="Problem generation failed. Please try decreasing difficulty or changing seed.",
|
| 130 |
+
reward=None,
|
| 131 |
)
|
|
|
|
| 132 |
|
| 133 |
def step(self, action: RlveGymAction) -> RlveGymObservation: # type: ignore[override]
|
| 134 |
"""
|
|
|
|
| 143 |
success: Boolean indicating if the step was successful
|
| 144 |
message: Message indicating the result of the step
|
| 145 |
"""
|
| 146 |
+
if self.problem is None:
|
| 147 |
return RlveGymObservation(
|
| 148 |
+
problem_input=None,
|
| 149 |
+
verifier_result=None,
|
| 150 |
+
success=False,
|
| 151 |
+
message="Problem not ready. Please reset the environment.",
|
| 152 |
+
reward=None,
|
| 153 |
)
|
| 154 |
+
|
| 155 |
+
try:
|
| 156 |
verifier_result = self.problem.verifier(action.output)
|
| 157 |
+
except Exception as e:
|
| 158 |
return RlveGymObservation(
|
| 159 |
+
problem_input=self._state.problem_input,
|
| 160 |
+
verifier_result=None,
|
| 161 |
+
success=False,
|
| 162 |
+
message=f"Verification failed with error: {e}",
|
| 163 |
+
reward=None,
|
| 164 |
)
|
| 165 |
+
|
| 166 |
self._state.num_samples += 1
|
| 167 |
self._state.sum_accuracy += verifier_result["accuracy"]
|
| 168 |
+
|
| 169 |
return RlveGymObservation(
|
| 170 |
+
problem_input=self._state.problem_input,
|
| 171 |
+
verifier_result=verifier_result,
|
| 172 |
+
success=True,
|
| 173 |
+
message="Verification completed.",
|
| 174 |
+
reward=verifier_result["reward"],
|
| 175 |
)
|
| 176 |
|
|
|
|
| 177 |
@property
|
| 178 |
def state(self) -> RlveGymState:
|
| 179 |
"""
|
|
@@ -26,8 +26,8 @@ try:
|
|
| 26 |
except Exception as e: # pragma: no cover
|
| 27 |
raise ImportError("openenv_core is required for the web interface. Install dependencies with '\n uv sync\n'") from e
|
| 28 |
|
| 29 |
-
from .RLVE_Gym_environment import RlveGymEnvironment
|
| 30 |
-
from
|
| 31 |
|
| 32 |
# Create the environment instance
|
| 33 |
env = RlveGymEnvironment()
|
|
|
|
| 26 |
except Exception as e: # pragma: no cover
|
| 27 |
raise ImportError("openenv_core is required for the web interface. Install dependencies with '\n uv sync\n'") from e
|
| 28 |
|
| 29 |
+
from server.RLVE_Gym_environment import RlveGymEnvironment
|
| 30 |
+
from models import RlveGymAction, RlveGymObservation
|
| 31 |
|
| 32 |
# Create the environment instance
|
| 33 |
env = RlveGymEnvironment()
|