Two Georgia Tech undergraduates are being recognized for their contributions to computing research. Ryan Punamiya (CS 2025) and Summer Abramson, a third-year computational media student, have been ...
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 ...
The buzz continues with the 10th Annual ACC InVenture Prize finals, scheduled for March 27 at the University of Notre Dame. Georgia Tech computer science major Sia Michael will compete with Michael's ...
These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...
Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.
Princeton SPIA is informing lawmakers about the latest research on AI, and educating current and future public servants about policy challenges and innovation opportunities.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results