论文
HackingFace
开源强化学习环境项目，将形式化数据整理为包含369个任务和405道数学题的数据集，配有Linux自动判分器，可验证模型证明
时间轴 (近 90 天)
10月13日
HackingFace项目将OpenAI近期公开的形式化数据显示整理成包含369个任务和405道数学题的开源强化学习环境，配有Linux自动判分器。
待验证50%
开源强化学习环境项目，将形式化数据整理为包含369个任务和405道数学题的数据集，配有Linux自动判分器，可验证模型证明
HackingFace项目将OpenAI近期公开的形式化数据显示整理成包含369个任务和405道数学题的开源强化学习环境，配有Linux自动判分器。