α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Szymon Tworkowski
Szymon Tworkowski
4
papers
366
total citations
papers (4)
Focused Transformer: Contrastive Training for Context Scaling
NEURIPS 2023
arXiv
168
citations
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
NEURIPS 2022
arXiv
124
citations
Magnushammer: A Transformer-Based Approach to Premise Selection
ICLR 2024
arXiv
58
citations
Structured Packing in LLM Training Improves Long Context Utilization
AAAI 2025
arXiv
16
citations