Magnushammer: A Transformer-based Approach to Premise Selection
Paper
•
2303.04488
•
Published
Szymon Tworkowski
syzymon
AI & ML interests
Language models, theorem proving and much more!
Organizations
None yet
authored
4
papers
8 months ago
Structured Packing in LLM Training Improves Long Context Utilization
Paper
•
2312.17296
•
Published
•
2
Hierarchical Transformers Are More Efficient Language Models
Paper
•
2110.13711
•
Published
•
1
Analysing The Impact of Sequence Composition on Language Model Pre-Training
Paper
•
2402.13991
•
Published
•
1
authored
a
paper
about 2 years ago