Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] An interview with John Harrison


view this post on Zulip Email Gateway (Aug 22 2022 at 20:47):

From: buday.gergely@uni-eszterhazy.hu
Hi,
this might be of interest to Isabelle users:
https://podcasts.apple.com/se/podcast/337-provable-security-podcast-series-episode-2-automated/id1122785133?i=1000453779171&l=en

Among other things he talks about using machine learning to formalize proofs from published mathematical papers.


Last updated: Mar 29 2024 at 12:28 UTC