hmichalewski's profile picture. Active contributor to PaLM & Minerva AI models, currently shaping the future of code & reasoning models at Google.

Henryk Michalewski

@hmichalewski

Active contributor to PaLM & Minerva AI models, currently shaping the future of code & reasoning models at Google.

Henryk Michalewski reposted

I’m excited to share the news of Gemini Deep Think’s gold-medal level performance 🥇 at the International Math Olympiad! It has been an absolute blast building Deep Think this year and then scaling it to the IMO.

An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇 It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵

GoogleDeepMind's tweet image. An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇

It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵


Henryk Michalewski reposted

We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈 It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵 dpmd.ai/imo-silver


Henryk Michalewski reposted

Extremely excited to announce Promptbreeder 🌱, a self-referential self-improving system that can automatically evolve effective domain-specific prompts in a given domain. Prompts evolved with Promptbreeder outperform Chain-of-Thought and Plan-and-Solve Prompting on a range of…

_rockt's tweet image. Extremely excited to announce Promptbreeder 🌱, a self-referential self-improving system that can automatically evolve effective domain-specific prompts in a given domain. Prompts evolved with Promptbreeder outperform Chain-of-Thought and Plan-and-Solve Prompting on a range of…

🌱 Introducing Promptbreeder: LLMs evolve their own prompts through self-referential self-improvement! Paper: arxiv.org/abs/2309.16797 #PromptEngineering #LLM #AI #ML #Promptbreeder

chrisantha_f's tweet image. 🌱 Introducing Promptbreeder: LLMs evolve their own prompts through self-referential self-improvement!  Paper: arxiv.org/abs/2309.16797 #PromptEngineering #LLM #AI #ML #Promptbreeder


🔬Found a brilliant #PhysicsCalculator on Google Search! Solves queries like energy calculation & estimates gravitational force, while explaining the science behind. Ideal for students, teachers, and curious minds. A gem for physics exploration! 💡🌌🔭 #GoogleSearch #ScienceTool


Henryk Michalewski reposted

Very excited to present Minerva🦉: a language model capable of solving mathematical questions using step-by-step natural language reasoning. Combining scale, data and others dramatically improves performance on the STEM benchmarks MATH and MMLU-STEM. goo.gle/3yGpTN7

alewkowycz's tweet image. Very excited to present Minerva🦉: a language model capable of solving mathematical questions using step-by-step natural language reasoning.
Combining scale, data and others dramatically improves performance on the STEM benchmarks MATH and MMLU-STEM. goo.gle/3yGpTN7

Henryk Michalewski reposted

Super excited to share Minerva!! – a language model that is capable of solving MATH with 50% success rate, which was predicted to happen in 2025 by Steinhardt et. al. (bounded-regret.ghost.io/ai-forecasting)! #Minerva 1/

Yuhu_ai_'s tweet image. Super excited to share Minerva!! – a language model that is capable of solving MATH with 50% success rate, which was predicted to happen in 2025 by Steinhardt et. al. (bounded-regret.ghost.io/ai-forecasting)!   
#Minerva

1/

Very excited to present Minerva🦉: a language model capable of solving mathematical questions using step-by-step natural language reasoning. Combining scale, data and others dramatically improves performance on the STEM benchmarks MATH and MMLU-STEM. goo.gle/3yGpTN7

alewkowycz's tweet image. Very excited to present Minerva🦉: a language model capable of solving mathematical questions using step-by-step natural language reasoning.
Combining scale, data and others dramatically improves performance on the STEM benchmarks MATH and MMLU-STEM. goo.gle/3yGpTN7


Henryk Michalewski reposted

Thrilled to announce🦉Minerva: a large language model capable of solving mathematical problems using step-by-step reasoning in natural language. See blog here: goo.gle/3yGpTN7 and samples here: minerva-demo.github.io (1/n)

Very excited to present Minerva🦉: a language model capable of solving mathematical questions using step-by-step natural language reasoning. Combining scale, data and others dramatically improves performance on the STEM benchmarks MATH and MMLU-STEM. goo.gle/3yGpTN7

alewkowycz's tweet image. Very excited to present Minerva🦉: a language model capable of solving mathematical questions using step-by-step natural language reasoning.
Combining scale, data and others dramatically improves performance on the STEM benchmarks MATH and MMLU-STEM. goo.gle/3yGpTN7


Henryk Michalewski reposted

How can we effectively train generalist multi-environment agents? We trained a single Decision Transformer model to play many Atari games simultaneously and compared it to alternative approaches: sites.google.com/corp/view/mult…


Henryk Michalewski reposted

I am looking for students who are interested in doing a Ph.D. in ML/NLP/DL/RL at @UCL @UCLCS starting in Fall 2019. See instructions below and get in touch via PM if you have questions. Application deadline is 5th of January 2019. cs.ucl.ac.uk/prospective_st…


Loading...

Something went wrong.


Something went wrong.