TY  - RPRT
TI  - Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis
AU  - Jonathan Laurent
AU  - André Platzer
PY  - 2022
DO  - 10.52202/068431-0350
UR  - https://arxiv.org/abs/2205.14229
ID  - 2205.14229
ER  -