Isabelle/HOL

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

11:24

2026-07-14

machinebrief.com

artificial-intelligence

TreeThink Revolutionizes Neural Theorem Proving with Python

TreeThink, a new open-source Python library for neural theorem proving, offers modular asynchronous tree search with native integration for formal verifiers in Lean 4, Rocq, and Isabelle/HOL, achievin…

14:58

2026-06-11

amazon.science

ai-research

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

Amazon Web Services has launched the M9g and M9gd EC2 instances powered by Graviton5 CPUs, which double core counts to 192 and introduce the Nitro Isolation Engine — the first formally verified hyperv…

// co-occurs with top 8 entities

Amazon Web Services 1 AWS 1 EC2 1 Graviton5 1 Nitro Isolation Engine 1 Nitro Hypervisor 1 seL4 1 TreeThink 1

// topics top 6 topics

ai research 2 ai safety 1 ai infrastructure 1 ai chips 1 artificial intelligence 1 machine learning 1