Neel Somani Investigates How Artificial Intelligence May Help Verify Mathematical Research

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into ...
College of Computing - Georgia Tech

Teams with CS Students Capture 2026 Georgia Tech InVenture Prize, Win Laurels with People's Choice Award

The buzz continues with the 10th Annual ACC InVenture Prize finals, scheduled for March 27 at the University of Notre Dame.

A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, ...
College of Computing - Georgia Tech

Undergrads Earn National Recognition for Computing Research

Two Georgia Tech undergraduates are being recognized for their contributions to computing research. Ryan Punamiya (CS 2025) ...
National Academies

Integrating Data and Computing into K-12 Education Is Critical and Requires Coordinated Approach To Be Effective, Says New Report

Computing and data shape nearly every aspect of modern life. In recent years, efforts to expand data and computing education in K-12 settings have grown rapidly but unevenly. A new National Academies ...
Princeton University

How Princeton SPIA is shaping important AI policy directions

Princeton SPIA is informing lawmakers about the latest research on AI, and educating current and future public servants about ...
Hackaday

Open Source Radar Has Up To 20 KM Range

Phased-array radars are great for all sorts of things, whether you’re doing advanced radio research or piloting a fifth-generation combat aircraft. They’re also typically very ...