TY  - RPRT
TI  - Project proposal: A modular reinforcement learning based automated theorem prover
AU  - Boris Shminke
PY  - 2022
UR  - https://arxiv.org/abs/2209.02562
ID  - 2209.02562
ER  -