Folgen
Szymon Tworkowski
Szymon Tworkowski
University of Warsaw
Bestätigte E-Mail-Adresse bei student.uw.edu.pl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Focused transformer: Contrastive training for context scaling
S Tworkowski, K Staniszewski, M Pacek, Y Wu, H Michalewski, P Miłoś
37th Conference on Neural Information Processing Systems (NeurIPS) 2023, 2023
1052023
Thor: Wielding hammers to integrate language models and automated theorem provers
AQ Jiang, W Li, S Tworkowski, K Czechowski, T Odrzygóźdź, P Miłoś, ...
Advances in Neural Information Processing Systems 35, 8360-8373, 2022
912022
Hierarchical transformers are more efficient language models
P Nawrot, S Tworkowski, M Tyrolski, Ł Kaiser, Y Wu, C Szegedy, ...
Findings of the Association for Computational Linguistics: NAACL 2022, 1559–1571, 2022
572022
Magnushammer: A transformer-based approach to premise selection
M Mikuła, S Tworkowski, S Antoniak, B Piotrowski, AQ Jiang, JP Zhou, ...
ICLR 2024, 2023
362023
Explaining Competitive-Level Programming Solutions using LLMs
J Li, S Tworkowski, Y Wu, R Mooney
ACL 2023, Natural Language Reasoning and Structured Explanations Workshop., 2023
162023
Analysing The Impact of Sequence Composition on Language Model Pre-Training
Y Zhao, Y Qu, K Staniszewski, S Tworkowski, W Liu, P Miłoś, Y Wu, ...
ACL 2024, 2024
62024
Structured packing in llm training improves long context utilization
K Staniszewski, S Tworkowski, S Jaszczur, Y Zhao, H Michalewski, ...
AAAI 2025, 2023
52023
Focused Transformer: Contrastive Training for Context Scaling, 2023
S Tworkowski, K Staniszewski, M Pacek, Y Wu, H Michalewski, P Miłos
URL http://arxiv. org/abs/2307.03170, 0
5
Mikoł aj Pacek, Yuhuai Wu, Henryk Michalewski, and Piotr Mił os. 2023. Focused transformer: Contrastive training for context scaling
S Tworkowski, K Staniszewski
Advances in Neural Information Processing Systems 36, 42661-42688, 0
4
Formal Premise Selection With Language Models
S Tworkowski, M Mikuła, T Odrzygóźdź, K Czechowski, S Antoniak, ...
7th Conference on Artificial Intelligence and Theorem Proving, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10