LeanSearch v2: Advanced Premise Retrieval for Lean 4 Proofs
Discover LeanSearch v2, the cutting-edge global premise retrieval tool that boosts theorem proving success in Lean 4 with advanced reasoning modes.
MLGIB: Robust Multi-Label Graph Message Passing
Discover MLGIB, a novel framework tackling over-squashing in multi-label graphs to improve GNN expressiveness and robustness.
Long-Horizon Embodied Agents with Tool-Aligned VLA Models
Discover how tool-aligned Vision-Language-Action models improve long-horizon embodied agents for efficient robotic task execution and planning.
SECOND-Grasp: Semantic Contact for Dexterous Robotic Grasping
Discover SECOND-Grasp, a framework integrating semantic contact and physical stability to enhance dexterous robotic grasping with 98% success rates.
Cables and Adapters Worth Keeping: Why Save Them
Discover why keeping cables, cords, and adapters is smart. Avoid tech hassles and stay prepared with these essential accessories.