May 19, 2025The team’s NeuralSAT advanced the frontiers of trustworthy artificial intelligence, earning second place in a highly competitive field of international teams advancing the formal verification of AI systems.
February 27, 2023Mason researchers led by Jana Košecká are using AI to make the Internet of Things more inclusive and accessible to those using American Sign Language.
