- Google AI Developed a Language Model to Solve Quantitative Reasoning Problems https://www.infoq.com/news/2022/07/google-ai-minerva/ 2 comments science
Linked pages
- Pathways Language Model (PaLM): Scaling to 540 Billion Parameters for Breakthrough Performance – Google AI Blog https://ai.googleblog.com/2022/04/pathways-language-model-palm-scaling-to.html 279 comments
- JDK 20 and JDK 21: What We Know So Far https://www.infoq.com/news/2023/03/java-20-so-far/ 225 comments
- MathJax | Beautiful math in all browsers. https://www.mathjax.org/ 221 comments
- arXiv.org e-Print archive https://arxiv.org/ 157 comments
- Minerva: Solving Quantitative Reasoning Problems with Language Models – Google AI Blog http://ai.googleblog.com/2022/06/minerva-solving-quantitative-reasoning.html 103 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Lean http://leanprover.github.io 46 comments
- Road to Quarkus 3: Bets on the Flow API for Mutiny 2.0, Updates to Jakarta Namespace and More https://infoq.com/news/2023/03/road-quarkus-3 9 comments
- LaTeX - A document preparation system https://www.latex-project.org/ 7 comments
- Google AI Blog https://ai.googleblog.com/ 1 comment
- Minerva Explorer https://minerva-demo.github.io/ 1 comment
- [2206.14858] Solving Quantitative Reasoning Problems with Language Models https://arxiv.org/abs/2206.14858 0 comments
- [2103.03874] Measuring Mathematical Problem Solving With the MATH Dataset https://arxiv.org/abs/2103.03874 0 comments
- Isabelle https://isabelle.in.tum.de/ 0 comments
- AI-Based Code-Completion Tool Tabnine Now Offers Automatic Unit Test Generation https://www.infoq.com/news/2023/02/tabnine-ai-unit-testing/ 0 comments
- DeepMind Open-Sources AI Interpretability Research Tool Tracr https://www.infoq.com/news/2023/02/deepmind-tracr/ 0 comments
- Microsoft Launches New Cognitive Speech Services Features to Accelerate Language Learning https://www.infoq.com/news/2023/03/microsoft-cognitive-new-speech/ 0 comments
- Eclipse Adoptium: A 2022 Retrospective and a Look Towards the Future https://www.infoq.com/news/2023/03/eclipse-adoptium-2022-future/ 0 comments
- How Skyscanner Embedded a Team Metrics Culture for Continuous Improvement https://www.infoq.com/articles/Skyscanner-metrics-culture-improvement/ 0 comments
Related searches:
Search whole site: site:www.infoq.com
Search title: Google AI Developed a Language Model to Solve Quantitative Reasoning Problems
See how to search.