verifiers 0.3.2.dev35__tar.gz → 0.3.2.dev36__tar.gz

{verifiers-0.3.2.dev35 → verifiers-0.3.2.dev36}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: verifiers
-Version: 0.3.2.dev35
+Version: 0.3.2.dev36
 Summary: Verifiers: Environments for LLM Reinforcement Learning
 Project-URL: Homepage, https://github.com/primeintellect-ai/verifiers
 Project-URL: Documentation, https://github.com/primeintellect-ai/verifiers
@@ -22,8 +22,7 @@ Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
 Classifier: Topic :: Software Development :: Libraries :: Python Modules
 Requires-Python: <3.14,>=3.11
 Requires-Dist: aiohttp>=3.14.1
-Requires-Dist: anthropic>=0.78.0
-Requires-Dist: datasets<6.0.0,>=3.3.0
+Requires-Dist: anthropic>=1.0.0
 Requires-Dist: gepa>=0.0.6
 Requires-Dist: httpx>=0.27.0
 Requires-Dist: loguru>=0.7.0
@@ -31,7 +30,7 @@ Requires-Dist: math-verify>=0.8.0
 Requires-Dist: mcp==2.0.0
 Requires-Dist: msgpack>=1.1.2
 Requires-Dist: numpy>=2.1.0
-Requires-Dist: openai>=2.9.0
+Requires-Dist: openai<3.0.0,>=2.54.0
 Requires-Dist: prime-pydantic-config[toml]>=0.4.3
 Requires-Dist: prime-sandboxes>=0.2.39
 Requires-Dist: prime-tunnel>=0.1.8
@@ -42,9 +41,10 @@ Requires-Dist: rich>=11.0.0
 Requires-Dist: tenacity>=8.5.0
 Requires-Dist: tomli-w>=1.0.0
 Requires-Dist: typing-extensions>=4.12.2
-Requires-Dist: uvloop>=0.21.0; sys_platform != 'win32' and sys_platform != 'cygwin' and platform_python_implementation != 'PyPy'
 Provides-Extra: harbor
 Requires-Dist: harbor==0.21.0; (python_full_version >= '3.12') and extra == 'harbor'
+Provides-Extra: lean
+Requires-Dist: datasets<6.0.0,>=3.3.0; extra == 'lean'
 Provides-Extra: modal
 Requires-Dist: modal>=1.4.0; extra == 'modal'
 Provides-Extra: openenv

{verifiers-0.3.2.dev35 → verifiers-0.3.2.dev36}/pyproject.toml

@@ -27,11 +27,10 @@ classifiers = [
 ]
 
 dependencies = [
-    "anthropic>=0.78.0",
-    "datasets>=3.3.0,<6.0.0",
+    "anthropic>=1.0.0",
     "numpy>=2.1.0",
     "math-verify>=0.8.0",
-    "openai>=2.9.0",
+    "openai>=2.54.0,<3.0.0",
     "prime-tunnel>=0.1.8",
     "prime-sandboxes>=0.2.39",
     "pydantic>=2.12.3",
@@ -43,7 +42,6 @@ dependencies = [
     "httpx>=0.27.0",
     "aiohttp>=3.14.1",
     "prime-pydantic-config[toml]>=0.4.3",
-    "uvloop>=0.21.0; sys_platform != 'win32' and sys_platform != 'cygwin' and platform_python_implementation != 'PyPy'",
     "loguru>=0.7.0",
     "tomli-w>=1.0.0",
     "renderers[multimodal]>=0.1.12.dev2",
@@ -86,6 +84,9 @@ examples = [
 ]
 
 [project.optional-dependencies]
+lean = [
+    "datasets>=3.3.0,<6.0.0",
+]
 ta = [
     "textarena==0.7.4",
     "nltk>=3.9.2",

{verifiers-0.3.2.dev35 → verifiers-0.3.2.dev36}/verifiers/v1/tasksets/lean/taskset.py

@@ -145,7 +145,12 @@ class LeanTask(Task[LeanData, State, LeanTaskConfig]):
 
 class LeanTaskset(Taskset[LeanTask, LeanConfig]):
     def load(self) -> Iterator[LeanTask]:
-        from datasets import load_dataset
+        try:
+            from datasets import load_dataset
+        except ModuleNotFoundError as e:
+            raise ModuleNotFoundError(
+                "the Lean taskset requires the `lean` extra; install `verifiers[lean]`"
+            ) from e
 
         config = self.config
         ds = config.dataset