0 works0 citations0 h-indexGoogle ScholarOpenAlexSzymon TworkowskiResearch AreasTopic Modeling, Natural Language Processing Techniques, Mathematics, Computing, and Information ProcessingMost-Cited Works→ Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers(2022)19 cited