Bus Factor 0
🔬Static Analysis
Flag this post
The Learning Loop and LLMs
🏃Escape Analysis
Flag this post
Playing Around with ARM Assembly
🐫Embedded OCaml
Flag this post
GIL and Race Condition in Python
⏰Timed Automata
Flag this post
Position Paper: If Innovation in AI Systematically Violates Fundamental Rights, Is It Innovation at All?
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔍Formal Verification
Flag this post
Agentic World Modeling for 6G: Near-Real-Time Generative State-Space Reasoning
arxiv.org·1h
👁️Observability
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·1d
🔲Cellular Automata
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·1d
🔲Cellular Automata
Flag this post
EgoMI: Learning Active Vision and Whole-Body Manipulation from Egocentric Human Demonstrations
arxiv.org·1d
🤖Robotics
Flag this post
Path-Coordinated Continual Learning with Neural Tangent Kernel-Justified Plasticity: A Theoretical Framework with Near State-of-the-Art Performance
arxiv.org·1h
📐Linear Algebra
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
IVGAE-TAMA-BO: A novel temporal dynamic variational graph model for link prediction in global food trade networks with momentum structural memory and Bayesian o...
arxiv.org·1d
🕸️Graph Theory
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·2d
🎮Verification Games
Flag this post
Loading...Loading more...