25:59Interactive symbolic testing with TLA+, Apalache, and LLMs - Igor KonnovTLA+ - The Temporal Logic of Actions258 viewsView & Download
0:19Taylor Impact Test - RKPM / RS-SNNI + NSNI / EdelweissMeshfree ExplicitMatthias Neuner0 viewsView & Download
7:33AutoTTS: Environment-Driven Discovery of Test-Time Scaling StrategiesResearch Paper Review33 viewsView & Download
7:14Traffic lights coordination scheme in the SUMO software. Basic variant.Oleksandr Kolii134 viewsView & Download