🧑🔬 Piotr Miłoś — papers of 2022 — 1 paper, the most cited first1 paper · all years of Piotr MiłośThor: Wielding Hammers to Integrate Language Models and Automated Theorem ProversarXiv:2205.10893Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.2022 · 79 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/piotr-milos/year/2022/