verifiers 0.3.2.dev35__py3-none-any.whl → 0.3.2.dev36__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. verifiers/v1/tasksets/lean/taskset.py +6 -1
  2. {verifiers-0.3.2.dev35.dist-info → verifiers-0.3.2.dev36.dist-info}/METADATA +5 -5
  3. {verifiers-0.3.2.dev35.dist-info → verifiers-0.3.2.dev36.dist-info}/RECORD +6 -6
  4. {verifiers-0.3.2.dev35.dist-info → verifiers-0.3.2.dev36.dist-info}/WHEEL +0 -0
  5. {verifiers-0.3.2.dev35.dist-info → verifiers-0.3.2.dev36.dist-info}/entry_points.txt +0 -0
  6. {verifiers-0.3.2.dev35.dist-info → verifiers-0.3.2.dev36.dist-info}/licenses/LICENSE +0 -0
verifiers/v1/tasksets/lean/taskset.py CHANGED
@@ -145,7 +145,12 @@ class LeanTask(Task[LeanData, State, LeanTaskConfig]):
145
145
 
146
146
  class LeanTaskset(Taskset[LeanTask, LeanConfig]):
147
147
  def load(self) -> Iterator[LeanTask]:
148
- from datasets import load_dataset
148
+ try:
149
+ from datasets import load_dataset
150
+ except ModuleNotFoundError as e:
151
+ raise ModuleNotFoundError(
152
+ "the Lean taskset requires the `lean` extra; install `verifiers[lean]`"
153
+ ) from e
149
154
 
150
155
  config = self.config
151
156
  ds = config.dataset
{verifiers-0.3.2.dev35.dist-info → verifiers-0.3.2.dev36.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.5
2
2
  Name: verifiers
3
- Version: 0.3.2.dev35
3
+ Version: 0.3.2.dev36
4
4
  Summary: Verifiers: Environments for LLM Reinforcement Learning
5
5
  Project-URL: Homepage, https://github.com/primeintellect-ai/verifiers
6
6
  Project-URL: Documentation, https://github.com/primeintellect-ai/verifiers
@@ -22,8 +22,7 @@ Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
22
22
  Classifier: Topic :: Software Development :: Libraries :: Python Modules
23
23
  Requires-Python: <3.14,>=3.11
24
24
  Requires-Dist: aiohttp>=3.14.1
25
- Requires-Dist: anthropic>=0.78.0
26
- Requires-Dist: datasets<6.0.0,>=3.3.0
25
+ Requires-Dist: anthropic>=1.0.0
27
26
  Requires-Dist: gepa>=0.0.6
28
27
  Requires-Dist: httpx>=0.27.0
29
28
  Requires-Dist: loguru>=0.7.0
@@ -31,7 +30,7 @@ Requires-Dist: math-verify>=0.8.0
31
30
  Requires-Dist: mcp==2.0.0
32
31
  Requires-Dist: msgpack>=1.1.2
33
32
  Requires-Dist: numpy>=2.1.0
34
- Requires-Dist: openai>=2.9.0
33
+ Requires-Dist: openai<3.0.0,>=2.54.0
35
34
  Requires-Dist: prime-pydantic-config[toml]>=0.4.3
36
35
  Requires-Dist: prime-sandboxes>=0.2.39
37
36
  Requires-Dist: prime-tunnel>=0.1.8
@@ -42,9 +41,10 @@ Requires-Dist: rich>=11.0.0
42
41
  Requires-Dist: tenacity>=8.5.0
43
42
  Requires-Dist: tomli-w>=1.0.0
44
43
  Requires-Dist: typing-extensions>=4.12.2
45
- Requires-Dist: uvloop>=0.21.0; sys_platform != 'win32' and sys_platform != 'cygwin' and platform_python_implementation != 'PyPy'
46
44
  Provides-Extra: harbor
47
45
  Requires-Dist: harbor==0.21.0; (python_full_version >= '3.12') and extra == 'harbor'
46
+ Provides-Extra: lean
47
+ Requires-Dist: datasets<6.0.0,>=3.3.0; extra == 'lean'
48
48
  Provides-Extra: modal
49
49
  Requires-Dist: modal>=1.4.0; extra == 'modal'
50
50
  Provides-Extra: openenv
{verifiers-0.3.2.dev35.dist-info → verifiers-0.3.2.dev36.dist-info}/RECORD RENAMED
@@ -156,7 +156,7 @@ verifiers/v1/tasksets/harbor/env.py,sha256=J3ggeLVD9Uyv0jRACsNb4jSMobpUcuT3EAqdI
156
156
  verifiers/v1/tasksets/harbor/taskset.py,sha256=idR4Yo1UJHLwBdAloAZ00BI-SaJxr6-to1wxKvQgqvQ,32277
157
157
  verifiers/v1/tasksets/lean/__init__.py,sha256=oyv-GbJQBvCyGwo7Ysxm2NjZW-aX4j1uDoHU0f-E7xQ,767
158
158
  verifiers/v1/tasksets/lean/scoring.py,sha256=sfzsT6MUK0zdMgAQ57_P_0CBaPHy3M7go71QMr5hDrs,10599
159
- verifiers/v1/tasksets/lean/taskset.py,sha256=Rw0sMyvMcm2PTZi3fDrAIUUjldCVFNeWm83oDZwv04o,9032
159
+ verifiers/v1/tasksets/lean/taskset.py,sha256=Jax76i22G9dOAswQHiWujVbFIM_PUz5yGJI_ShR4n8Y,9238
160
160
  verifiers/v1/tasksets/nemo_gym/__init__.py,sha256=654gAvG3Wd_Z_nh6mypeKn4s_IIQ0Ge6vcZvxTHC2_E,306
161
161
  verifiers/v1/tasksets/nemo_gym/response.py,sha256=u_-qvmcyVHRC9fLJx5ED7BjCCUv5JttuTxM_GzZObkM,4382
162
162
  verifiers/v1/tasksets/nemo_gym/server.py,sha256=33C-VDZxPtMV2TFxJVIKijmtBLNlVeRs92ctPE3qAsM,2036
@@ -185,8 +185,8 @@ verifiers/v1/utils/prime.py,sha256=UTYRjp9cbjNb6CVmBHda-1wWZAIIfxNOmTyNuT7_wL4,9
185
185
  verifiers/v1/utils/retries.py,sha256=Y2ZgrAjn-qNkRKZP_RVNL_7EK0iaRcZeCa404lpGYi4,5417
186
186
  verifiers/v1/utils/score.py,sha256=493yJVMw8teCu9JxapxMFPFzI0hNUqdo0Y2nGW4kckk,6200
187
187
  verifiers/v1/utils/version.py,sha256=-obEo_-l9-D8FLef4hYxncOe-uJpxrM1g2Hig_37Sgs,1607
188
- verifiers-0.3.2.dev35.dist-info/METADATA,sha256=0x_tE6XuAD1uOnN5JvaiINGaA0kmXJmD7TTrpkN95kM,4149
189
- verifiers-0.3.2.dev35.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
190
- verifiers-0.3.2.dev35.dist-info/entry_points.txt,sha256=uqQje0TMsr7k6nXlWxlPs13Si0evb3pVCEDF6c-YL80,241
191
- verifiers-0.3.2.dev35.dist-info/licenses/LICENSE,sha256=v0RrUsdV3IDoZhrRce297IXS3xMHNJ-_LdLpFAUWb9k,1072
192
- verifiers-0.3.2.dev35.dist-info/RECORD,,
188
+ verifiers-0.3.2.dev36.dist-info/METADATA,sha256=CPiuEseqw899eF8UoezmBH1wUJVCm4_DB26wx4jIXnA,4065
189
+ verifiers-0.3.2.dev36.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
190
+ verifiers-0.3.2.dev36.dist-info/entry_points.txt,sha256=uqQje0TMsr7k6nXlWxlPs13Si0evb3pVCEDF6c-YL80,241
191
+ verifiers-0.3.2.dev36.dist-info/licenses/LICENSE,sha256=v0RrUsdV3IDoZhrRce297IXS3xMHNJ-_LdLpFAUWb9k,1072
192
+ verifiers-0.3.2.dev36.dist-info/RECORD,,