ReCoeus:使用强化学习进行关系验证（学习源代码）-Verification code source code

Coeus学习者 该存储库包含在OOPSLA'19上发表的论文《使用强化学习的关系验证》的强化学习源代码。 关系验证器部分的源代码作为发布。 从源头建造 RL引擎使用编写，利用库进行学习，使用库进行日志记录和可视化。 一切都是动态的，所以这里没有东西可建:) 但是，要正确设置所有依赖项，需要做一些工作。 在Python中，建议的依赖项管理方法是设置： > git clone https://github.com/utopia-group/ReCoeus.git > mkdir venv > python3 -m venv venv > source venv/bin/activate 现在，我们可以安装所需的库： > pip install torch tensorboardx 训练 首先，构建coeus server的开发版本（）。 选择一组训练基准，一组测试基准和一个端口号。