Communications of the ACM

Can We Understand How Large Language Models Reason?

Large language models can write essays, solve math problems, and generate computer code, but it’s not fully understood how ...
New Scientist

Peter Shor’s algorithm could break the internet – but he's not worried

Few people have invented an algorithm with the potential to spark a worldwide crisis, so why is quantum computing pioneer ...
International Association of Privacy ProfessionalsOpinion

Why privacy professionals should care about post-quantum cryptography

Privacy professionals should pay closer attention to post-quantum cryptography as quantum-enabled attacks could eventually ...
Cyber Defense Magazine

Quantum.Tech World: An Exclusive Look at One of the World’s Largest Quantum Conferences

While the word “quantum” traditionally means very small, Quantum.Tech World was one of the biggest events of the year. Hosted ...
Scientific American

Why this 98-qubit quantum computer is a big deal

Together, they form Helios, a new quantum computer built by the British-American company Quantinuum. Quantum computers use ...
Opinion

Computer scientist on why he believes mass layoffs due to AI is a 'convenient excuse'

NPR's Steve Inskeep asks Princeton computer scientist Sayash Kapoor about his assertions that AI won't lead to mass layoffs.
The Intercept

Homeland Security Algorithm Revokes U.S. Visa of War Crimes Investigator Eyal Weizman

Eyal Weizman was barred from traveling to the U.S. after being identified as a security risk by an algorithm used by the Department of Homeland Security. Eyal Weizman, an Israeli-born British ...
IEEE

Learning Linear Temporal Properties

Abstract: We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from examples. The first learning algorithm reduces the learning task to a series of satisfiability ...