We are lucky to have you as speaker. Looking very much forward to your talk today!
1 week ago
1
0
0
0
Posts by Achim D. Brucker
Formalizing neural networks (in Isabelle/HOL). ~ Achim D. Brucker, Amy Stell. www.isa-afp.org/entries/Neur... #ITP #IsabelleHOL #NeuralNetwork
5 months ago
2
1
0
0
Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: conf.researchr.org/track/fm-202...
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
8 months ago
1
0
0
0
(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. www.isa-afp.org/entries/Inte... #ITP #IsabelleHOL #Math
2 years ago
4
1
0
0