Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] TEDx talk: Applying artifificial intelligence ...

Email Gateway (Aug 19 2022 at 14:49):

From: Manfred Kerber <mnfrd.krbr@gmail.com>
At the end of May, Colin Rowat gave a TEDx
<http://en.wikipedia.org/wiki/TED_(conference)#TEDx> talk on mechanised
reasoning and our applications of it to auctions.

The video is now available at https://www.youtube.com/watch?v=O65XJd7j2BE.
The underlying papers referred to in the talk are:

1. implementations of Vickrey’s theorem in four different provers:
   http://arxiv.org/abs/1303.4193

2. proving soundness of auction designs in Isabelle:
   http://arxiv.org/abs/1308.1779

Best,

Manfred

Last updated: Apr 27 2024 at 04:17 UTC