Henryk Michalewski
- Program Synthesis with Large Language Models
2021/08/16 by Jacob Austin, Augustus Odena, Austin, Jacob +21 · 1 voice · 726 citations
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Topic Modeling #cs.LG #cs.PL
- Model-Based Reinforcement Learning for Atari
2019/03/01 by Łukasz Kaiser, Lukasz Kaiser, Kaiser, Lukasz +29 · 3 voices · 83 citations
Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #Artificial Intelligence in Games #Reinforcement Learning in Robotics #cs.LG #stat.ML
- Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context
2024/03/08 by Gemini Robotics Team, Petko Georgiev, Gemini Team +2277 · 4 voices · 694 citations
Computer Science · #Semantic Web and Ontologies
- Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
2025/07/07 by Gheorghe Comanici, Comanici, Gheorghe, Eric Bieber +6844 · 8 voices · 1393 citations
#cs.CL #cs.AI
- Advancing Mathematics Research with AI-Driven Formal Proof Search
2026/05/21 by George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18 · 21 voices · 5 citations
#cs.AI
- Solving Quantitative Reasoning Problems with Language Models
2022/06/29 by Aitor Lewkowycz, Lewkowycz, Aitor, Anders Andreassen +25 · 1 voice · 334 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.CL #cs.LG
- Promptbreeder: Self-Referential Self-Improvement Via Prompt Evolution
2023/09/28 by Chrisantha Fernando, Fernando, Chrisantha, Dylan Banarse +7 · 5 voices · 93 citations
Computer Science · #Hate Speech and Cyberbullying Detection #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL #cs.LG #cs.NE
- Hierarchical Transformers Are More Efficient Language Models
2021/10/26 by Piotr Nawrot, Nawrot, Piotr, Szymon Tworkowski +11 · 4 voices · 22 citations
Computer Science · #Topic Modeling #Multimodal Machine Learning Applications #Natural Language Processing Techniques
- RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control
2023/07/28 by Anthony Brohan, Brohan, Anthony, Noah Brown +105 · 642 citations
Computer Science · #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Robotics (cs.RO) #Topic Modeling
- PaLM: Scaling Language Modeling with Pathways
2022/04/05 by Aakanksha Chowdhery, Sharan Narang, Chowdhery, Aakanksha +129 · 494 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Multimodal Machine Learning Applications
- Gemma: Open Models Based on Gemini Research and Technology
2024/03/13 by Thomas Mésnard, Gemma Team, Mesnard, Thomas +203 · 184 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation
- Show Your Work: Scratchpads for Intermediate Computation with Language Models
2021/11/30 by Maxwell Nye, Anders Andreassen, Nye, Maxwell +22 · 106 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Neural and Evolutionary Computing (cs.NE) #Topic Modeling
- Gemini: A Family of Highly Capable Multimodal Models
2023/12/19 by Gemini Robotics Team, Rohan Anil, Gemini Team +2692 · 9 voices · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #cs.AI #cs.CL #cs.CV
- Reinforcement Learning of Theorem Proving
2018/05/19 by Cezary Kaliszyk, Josef Urban, Kaliszyk, Cezary +5 · 1 voice · 5 citations
Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #cs.AI #cs.LG #cs.LO
- Multi-Game Decision Transformers
2022/05/30 by Kuang-Huei Lee, Lee, Kuang-Huei, Ofir Nachum +19 · 20 citations
Computer Science · #Reinforcement Learning in Robotics #Explainable Artificial Intelligence (XAI)
- Natural Language to Code Generation in Interactive Data Science Notebooks
2022/12/19 by Pengcheng Yin, Yin, Pengcheng, Wen-Ding Li +21 · 20 citations
Computer Science · #Computation and Language (cs.CL) #Computational Physics and Python Applications #FOS: Computer and information sciences #Machine Learning and Data Classification #Software Engineering (cs.SE) #Software Engineering Research
- Sparse is Enough in Scaling Transformers
2021/11/24 by Sebastian Jaszczur, Aakanksha Chowdhery, Jaszczur, Sebastian +11 · 9 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Speech Recognition and Synthesis #Topic Modeling
- Focused Transformer: Contrastive Training for Context Scaling
2023/07/06 by Szymon Tworkowski, Konrad Staniszewski, Tworkowski, Szymon +9 · 8 citations
Computer Science · #Topic Modeling #Multimodal Machine Learning Applications #Natural Language Processing Techniques
- Language Model Cascades
2022/07/21 by D. Dohan, Dohan, David, Winnie Xu +21 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
- Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models
2024/02/06 by Spyridon Mouselinos, Henryk Michalewski, Mouselinos, Spyridon +3 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques
- Towards Robust Mathematical Reasoning
2025/11/03 by Thang M. Luong, Luong, Thang, Hoang H. Nguyen +35 · 11 citations
Computer Science · Materials Science · Social Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning in Materials Science #Mathematics Education and Teaching Techniques #Mathematics, Computing, and Information Processing
- Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments
2018/04/02 by Łukasz Kidziński, Kidziński, Łukasz, Sharada P. Mohanty +55 · 1 citation
Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Muscle activation and electromyography studies
- Grounding Data Science Code Generation with Input-Output Specifications
2024/02/12 by Yeming Wen, Pengcheng Yin, Wen, Yeming +9 · 2 citations
Computer Science · #Model-Driven Software Engineering Techniques
- Measuring and Improving BERT's Mathematical Abilities by Predicting the\n Order of Reasoning
2021/06/07 by Piotr Piękos, Henryk Michalewski, Piękos, Piotr +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #I.2.7 #Machine Learning (cs.LG) #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling
- A Simple, Yet Effective Approach to Finding Biases in Code Generation
2022/10/31 by Spyridon Mouselinos, Mateusz Malinowski, Mouselinos, Spyridon +3 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques