pith. sign in

Henryk Michalewski

Identifiers

  • name variant Henryk Michalewski 0.60 · backfill

Papers (24)

  1. Advancing Mathematics Research with AI-Driven Formal Proof Search cs.AI · 2026 · author #15
  2. Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities cs.CL · 2025 · author #1860
  3. Gemma: Open Models Based on Gemini Research and Technology cs.CL · 2024 · author #38
  4. Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context cs.CL · 2024 · author #622
  5. Gemini: A Family of Highly Capable Multimodal Models cs.CL · 2023 · author #186
  6. Promptbreeder: Self-Referential Self-Improvement Via Prompt Evolution cs.CL · 2023 · author #3
  7. RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control cs.RO · 2023 · author #30
  8. Solving Quantitative Reasoning Problems with Language Models cs.CL · 2022 · author #5
  9. PaLM: Scaling Language Modeling with Pathways cs.CL · 2022 · author #33
  10. Show Your Work: Scratchpads for Intermediate Computation with Language Models cs.LG · 2021 · author #4
  11. Program Synthesis with Large Language Models cs.PL · 2021 · author #5
  12. Expert-augmented actor-critic for ViZDoom and Montezumas Revenge cs.LG · 2018 · author #2
  13. Reinforcement Learning of Theorem Proving cs.AI · 2018 · author #3
  14. Learning to Run challenge solutions: Adapting reinforcement learning methods for neuromusculoskeletal environments cs.LG · 2018 · author #19
  15. Distributed Deep Reinforcement Learning: Learn how to play Atari games in 21 minutes cs.AI · 2018 · author #6
  16. Atari games and Intel processors cs.DC · 2017 · author #4
  17. Some connections between universal algebra and logics for trees cs.FL · 2017 · author #2
  18. Learning from the memory of Atari 2600 cs.LG · 2016 · author #2
  19. On the Problem of Computing the Probability of Regular Sets of Trees cs.FL · 2015 · author #1
  20. How unprovable is Rabin's decidability theorem? math.LO · 2015 · author #2
  21. Deciding the Borel complexity of regular tree languages cs.LO · 2014 · author #2
  22. Unambiguous Buchi is weak cs.FL · 2014 · author #1
  23. On the Borel Inseparability of Game Tree Languages math.LO · 2009 · author #2
  24. Small Valdivia compact spaces math.GN · 2005 · author #2

Mentions

  • 1510.01640 #1 · backfill · confidence 0.70 Henryk Michalewski
  • 1508.06780 #2 · backfill · confidence 0.70 Henryk Michalewski
  • 1403.3502 #2 · backfill · confidence 0.70 Henryk Michalewski
  • 1401.4025 #1 · backfill · confidence 0.70 Henryk Michalewski
  • 2605.22763 #15 · arxiv_oai · confidence 0.70 Henryk Michalewski
  • 2309.16797 #3 · arxiv_oai · confidence 0.70 Henryk Michalewski
  • 0902.1732 #2 · backfill · confidence 0.70 Henryk Michalewski

Frequent Coauthors