TY  - RPRT
TI  - Learning Formulas in Finite Variable Logics
AU  - Paul Krogmeier
AU  - P. Madhusudan
PY  - 2021
UR  - https://arxiv.org/abs/2111.03534
ID  - 2111.03534
ER  -