New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...

The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...

A solution to P vs NP could unlock countless computational problems—or keep them forever out of reach. 1. On Monday, July 19, 2021, in the middle of another strange pandemic summer, a leading computer ...

The field of interpretability investigates what machine learning (ML) models are learning from training datasets, the causes and effects of changes within a model, and the justifications behind its ...

The artificial intelligence start-up said the new system, OpenAI o3, outperformed leading A.I. technologies on tests that rate skills in math, science, coding and logic. By Cade Metz Reporting from ...

Expand the application of computing and computational thinking at an R1 flagship technological university where STEM research is at the heart of everything we do. Learn from caring and skilled faculty ...

A team at Carnegie Mellon University is helping kids understand artificial intelligence with a soft, squishy, LED-lit neural ...

The 30th Annual European Symposium on Algorithms awarded its 2021 Test-of-Time Award to Sorin Istrail, professor of computational and mathematical sciences and professor of computer science, and his ...

Last year, 18 percent of Stanford University seniors graduated with a degree in computer science, more than double the proportion of just a decade earlier. Over the same period at MIT, that rate went ...

The University of Washington’s Allen School is tackling six “grand challenges” in computer science — from AI and education to health and sustainability.