ProofAug: Efficient neural theorem proving via fine-grained proof structure analysis. ~ Haoxiong Liu et als. https://openreview.net/pdf?id=GCjsjnl8yA #LLMs #ITP #IsabelleHOL #LeanProver
There's now a video up of the talk I gave at this year's seL4 Summit, on the status of UNSW's projects to verify Time Protection and Microkit-based userland OS services for the seL4 microkernel: