verl icon indicating copy to clipboard operation
verl copied to clipboard

Published 20 hours ago • verified publisher icon volcengine

Resolve the issue of PRIME getting stuck during math verification.

Open Raf-Chen opened this issue 8 months ago • 2 comments

Since searching for an appropriate simplify algorithm may cause sympy.simplify to timeout, and ProcessPool may get stuck due to excessive concurrency, the timeout mechanism in verl/verl/workers/reward_manager/prime.py cannot capture the timeout. To address this issue, a timeout detection mechanism is added to verl/verl/utils/reward_score/prime_math/__init__.py for sympy.simplify to solve it easily.

Raf-Chen avatar Mar 04 '25 10:03 Raf-Chen

CLA assistant check
All committers have signed the CLA.

CLAassistant avatar Mar 04 '25 10:03 CLAassistant

I have modified the code to ensure it passes the yapf check. Please approve it again. Thanks!

Raf-Chen avatar Mar 06 '25 07:03 Raf-Chen