Qi Liu

icon indicating an email [email protected]

icon company Shanghai Jiao Tong University icon location Shanghai, China icon location Master Student at SJTU @Thinklab-SJTU

Results 1 comments of Qi Liu

How to integrate lean-gym with python?

The following is the code I`m using. Hope it can help you. ``` import subprocess import json from typing import Dict, List, Any import os class LeanGymEnvironment: def __init__(self, verbose:...