Our paper "Secure Formal Raising: Protecting the Development of AI through Executable Properties" is available #online on #arxiv arxiv.org/abs/2611.08042 @unibremen.bsky.social #FormalRaising #security #SecurityProperties #ExecutableSpecification #ArtificialIntelligence #ModelRaising

The famous ‚Die Hard‘ problem with GenAI-accelerated TLAi+ by Markus Kuppe (now with NVIDIA):

youtu.be/JX_kTGHoYT8

#tlaplus #executableSpecification