Szymon Antoniak
Szymon Antoniak has 2 papers in our library, in 2023–2024, most of them on Reasoning, Vision & language; often with Albert Q. Jiang, Bartosz Piotrowski, Christian Szegedy.
OpenAlex · h-index 3 · 14 works · 169 citations OpenAlex, 2026-10-14
📄 2 works in our library · 🔗 Cited 1,682 times in our library · 1 more in our library without a page yet · ⭐ Paper Stars ranking: #7575
Affiliations
Fields, topics and concepts
📚 Shelves 6The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksArts and Humanities · 1 workComputer Vision and Pattern Recognition · 1 workLanguage and Linguistics · 1 workComputational Theory and Mathematics · 1 work
🧭 Topics 2Research subjects and languages the work is about.Vision & language · 1 workReasoning · 1 work
Works by year
2020s
Papers
- Pixtral 12B (2024 · 107 citations)
The paper presents Pixtral 12B, an open-weight vision-language model from Mistral AI, released under Apache 2.0. - Magnushammer: A Transformer-Based Approach to Premise Selection (2023 · 35 citations)
Premise selection means picking, from a large library of proven facts, the few that help close the current goal in a formal proof.
All works
- Mixtral of Experts ↗arXiv:2401.04088 · no summary yetAlbert Q. Jiang et al.2024 · 1,698 citations
- Pixtral 12BarXiv:2410.07073Pravesh Agrawal, Szymon Antoniak, Emma Bou Hanna, et al.2024 · 107 citations
- Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations
Co-authors here
- Albert Q. Jiang
- Bartosz Piotrowski
- Christian Szegedy
- Jin Peng Zhou
- Piotr Miłoś
- Saurabh Garg
- Szymon Tworkowski
- Yuhuai Wu
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/szymon-antoniak/