ICSE 2025 - QED Cartographer: Automating Formal Verification with Reward-Free Reinforcement Learning

The talk for QEDCartographer, a proof synthesis tool, as presented at the International Conference on Software Engineering 2025, in Ottowa, Ontario, Canada. More information like the paper link, code repo, and talk slides, can be found at the authors website at https://www.alexsanchezstern.com/

Видео ICSE 2025 - QED Cartographer: Automating Formal Verification with Reward-Free Reinforcement Learning канала Alex Sanchez-Stern