Follow
Maciej Mikuła
Maciej Mikuła
DeepMind
Verified email at deepmind.com
Title
Cited by
Cited by
Year
Gemini: A family of highly capable multimodal models
G Team
Technical report, Google, 12 2023. URL https://storage. googleapis. com …, 2023
5072023
Gemma: Open models based on gemini research and technology
G Team, T Mesnard, C Hardin, R Dadashi, S Bhupatiraju, S Pathak, ...
arXiv preprint arXiv:2403.08295, 2024
392024
Magnushammer: A Transformer-based Approach to Premise Selection
M Mikuła, S Antoniak, S Tworkowski, AQ Jiang, JP Zhou, C Szegedy, ...
arXiv preprint arXiv:2303.04488, 2023
152023
Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context
M Reid, N Savinov, D Teplyashin, D Lepikhin, T Lillicrap, J Alayrac, ...
arXiv preprint arXiv:2403.05530, 2024
132024
AlphaCode 2 Technical Report
GDM AlphaCode Team
https://storage.googleapis.com/deepmind-media/AlphaCode2 …, 2023
2023
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
The system can't perform the operation now. Try again later.
Articles 1–6