6:50Lamport on Temporal Logic of Actions and refinement mappingTuring Awardee Clips1.7K viewsView & Download
15:05KR 2020 - Nondeterministic Strategies and their Refinement in Strategy LogicKR conference series104 viewsView & Download
11:04Genshin Impact : How to level up, refine, and Ascend Weapons in Genshin ImpactLoGic MoTion174.9K viewsView & Download
19:17PRISM: Pushing the Frontier of Deep Think via Process Reward Model-Guided Inference (Mar 2026)AI Paper Slop39 viewsView & Download
8:05Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from DemonstrationsInteractiveRobotics137 viewsView & Download
14:36No More Latency: The Right Way to Use Hardware in LogicSpinlight Studio5.7K viewsView & Download