TY  - RPRT
TI  - Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
AU  - Albert Q. Jiang
AU  - Wenda Li
AU  - Szymon Tworkowski
AU  - Konrad Czechowski
AU  - Tomasz Odrzygóźdź
AU  - Piotr Miłoś
AU  - Yuhuai Wu
AU  - Mateja Jamnik
PY  - 2022
UR  - https://arxiv.org/abs/2205.10893
ID  - 2205.10893
ER  -