Lab for AI Verification (LAIV) is a team of researchers working on a range of inter-disciplinary problems that combine AI and Formal Verification. For example, we seek answers to the following ...

Vibe coding is an application of AI for code generation that converts clear instructions into functional code, enabling non-technical staff to create applications for tasks ...

High-level languages make coding simpler for people by using words and structures that are easy to read and understand. These ...

For all their impressive capabilities, large language models (LLMs) often fall short when given challenging new tasks that require complex reasoning skills.

AI is everywhere. From the massive popularity of ChatGPT to Google cramming AI summaries at the top of its search results, AI ...

The 1990s were a boom time for new programming languages. The rise of the internet and the increasing complexity of software ...