Home New Trending Search
About Privacy Terms
#
#executableSpecification
Posts tagged #executableSpecification on Bluesky
Artur Lojewski
Artur Lojewski
@artur-lojewski.bsky.social
10 months ago
Die Hard with GenAI-accelerated TLAi+
Die Hard with GenAI-accelerated TLAi+ YouTube video by TLA+ - The Temporal Logic of Actions

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

youtu.be/JX_kTGHoYT8

#tlaplus #executableSpecification

1 0 0 0