All Stories

  1. Using LLMs and Automated Reasoning to Mathematically Prove That Programs are Correct.

    Article • October 2024, ACM (Association for Computing Machinery)

    Muhammad Pirzada, Giles Reger, Lucas Cordeiro