RSS Items

In January 2024, the phone rang in homes all around New Hampshire. On the other end was Joe Biden’s voice, urging Democrats to “save your vote” by skipping the primary. It sounded authentic, but it wasn’t. The call was a fake, generated by artificial

Nature Communications

AMA with Prof. Alice E. Smith on Optimization, AI, and the Human Element n.lehotzky@ieee.org Fri, 11/21/2025 - 09:43 70 views

Agentic AI: Shaping the Future of Autonomy, Innovation, and Society n.lehotzky@ieee.org Thu, 05/29/2025 - 07:15 83 views

Making the Most Out of LLMs: Prompt Engineering & Hands-on Workshop on Agent AI n.lehotzky@ieee.org Tue, 04/22/2025 - 06:41 24 views

Multimodal Information Processing in NLP through Deep Learning and Language Modeling n.lehotzky@ieee.org Tue, 02/11/2025 - 08:41 9 views

Predictive Engineering and Artificial Intelligence n.lehotzky@ieee.org Tue, 02/11/2025 - 08:03 74 views

There have been some successes with program verification systems, but they are still perceived as a niche activity for the most critical and specialized projects.

A case study asks Copilot users about the tool's impact on their productivity, and seeks to find their perceptions mirrored in user data.

In many ways, my career has been chasing chances to do mathematics.