October 18, 2024
Headlines

AI

AI news

Can LLMs Generate Mathematical Proofs that can be Rigorously Checked? Meet LeanDojo: An Open-Source AI Playground With Toolkits, Benchmarks, and Models for Large Language Models to Prove Formal Theorems in the Lean Proof Assistant

Mathew07 mins

Artificial Intelligence and Machine Learning are the trending fields of today’s time. With the immense progress being made in AI, new innovations are transforming the way humans interact with machines. Reasoning in human intelligence is a significant part of Artificial Intelligence. A number of theorems-proving approaches have been researched, such as Automated theorem proving (ATP),…

Read More

Novo Nordisk to support MIT postdocs working at the intersection of AI and life sciences | MIT News

Mathew05 mins

MIT’s School of Engineering and global health care company Novo Nordisk has announced the launch of a multi-year program to support postdoctoral fellows conducting research at the intersection of artificial intelligence and data science with life sciences. The MIT-Novo Nordisk Artificial Intelligence Postdoctoral Fellows Program will welcome its first cohort of up to 10 postdocs…

Read More

Envisioning the future of computing | MIT News

Mathew012 mins

How will advances in computing transform human society? MIT students contemplated this impending question as part of the Envisioning the Future of Computing Prize — an essay contest in which they were challenged to imagine ways that computing technologies could improve our lives, as well as the pitfalls and dangers associated with them. Offered for…

Read More

MIT-Pillar AI Collective announces first seed grant recipients | MIT News

Mathew010 mins

The MIT-Pillar AI Collective has announced its first six grant recipients. Students, alumni, and postdocs working on a broad range of topics in artificial intelligence, machine learning, and data science will receive funding and support for research projects that could translate into commercially viable products or companies. These grants are intended to help students explore…

Read More

Best AI Text Generators in 2023

Mathew021 mins

Since the release of ChatGPT, AI text generators have frequently been in the news. An AI text generator can aid in better and faster work if you prompt a suitably trained tool. ChatGPT may be the most well-known AI system right now, but the underlying GPT technology is causing a stir. Its two most recent…

Read More

Meet ToolQA: A New Dataset that Evaluates the Ability of Large Language Models (LLMs) to Use External Tools for Question Answering

Mathew07 mins

Large Language Models (LLMs) have proven to be really effective in the fields of Natural Language Processing (NLP) and Natural Language Understanding (NLU). Famous LLMs like GPT, BERT, PaLM, etc., are being used by researchers to provide solutions in every domain ranging from education and social media to finance and healthcare. Being trained on massive…

Read More

Day of AI curriculum meets the moment | MIT News

Mathew014 mins

MIT Responsible AI for Social Empowerment and Education (RAISE) recently celebrated the second annual Day of AI with two flagship local events. The Edward M. Kennedy Institute for the U.S. Senate in Boston hosted a human rights and data policy-focused event that was streamed worldwide. Dearborn STEM Academy in Roxbury, Massachusetts, hosted a student workshop…

Read More

With Five New Multimodal Models Across the 3B, 4B, and 9B Scales, the OpenFlamingo Team Releases OpenFlamingo v2 which Outperforms the Previous Model

Mathew05 mins

A group of researchers from the University of Washington, Stanford, AI2, UCSB, and Google recently developed the OpenFlamingo project, which aims to build models similar to those DeepMind’s Flamingo team. OpenFlamingo models can handle any mixed text and image sequences and produce text as an output. Captioning, visual question answering, and image classification are just…

Read More