Vampire with a Neural Flair
Автор: GLAMI AI
Загружено: 2025-11-21
Просмотров: 63
Описание:
By Dr. Martin Suda (CIIRC CTU in Prague): Automated theorem proving is a classical branch of symbolic AI. Rooted in formal logic, it aims to endow computers with the reasoning skills of mathematicians. A theorem prover must explore a vast space of possible derivations in search of a proof for a given conjecture. Good heuristics—analogous to a mathematician’s intuitions—help it fight the looming combinatorial explosion. In this talk, Dr. Suda introduced the award-winning theorem prover Vampire and showed how a powerful guiding heuristic, supported by a deep neural network, can be automatically learned from the prover’s own experience through reinforcement learning.
Slides: https://drive.google.com/file/d/1_iU_...
Meetup page: https://www.meetup.com/miton-times/
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
