[ICCV] NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
☆29Jan 15, 2026Updated 3 months ago
Alternatives and similar repositories for NAVER
Users that are interested in NAVER are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🤖 Dataset for TextSLAM: Visual SLAM with Semantic Planar Text Features. (ICRA2020 & TPAMI2023)☆41Jan 4, 2024Updated 2 years ago
- [ICLR ML4RS 2025] Official implementation for the paper "Tackling Few-Shot Segmentation in Remote Sensing via Inpainting Diffusion Model"☆14Feb 2, 2026Updated 2 months ago
- [IROS 2024] PhysORD: A Neuro-Symbolic Approach for Physics-infused Motion Prediction in Off-road Driving☆22Feb 15, 2026Updated 2 months ago
- ☆10Jul 8, 2020Updated 5 years ago
- ☆25Nov 10, 2025Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Segment This Thing is an efficient image segmentation models that uses a biologically-inspired foveated tokenization to reduce inference …☆58Jun 16, 2025Updated 10 months ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Feb 25, 2020Updated 6 years ago
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆16Mar 18, 2026Updated last month
- 🌳 [ICRA'25] Hier-SLAM: Semantic Gaussian Splatting SLAM with Hierarchical Categorical Representation☆162Jun 21, 2025Updated 9 months ago
- Source code for the Paper "Mind the Gap: Benchmarking Spatial Reasoning in Vision-Language Models"☆19Feb 1, 2026Updated 2 months ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- ☆14Jun 1, 2018Updated 7 years ago
- [ICCV 2025] Implementation of the paper: "StochasticSplats: Stochastic Rasterization for Sorting-Free 3D Gaussian Splatting"☆44Dec 5, 2025Updated 4 months ago
- RA-LLO: Robust Adaptive Legged-LiDAR Odometry with Gaussian Process Motion Prior☆16Jul 5, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- [NeurIPS 2024] Gaussian Graph Network: Learning Efficient and Generalizable Gaussian Representations from Multi-view Images☆32Nov 22, 2025Updated 4 months ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- A vision-language model with bidirectional progressive fusion and global-local alignment for enhanced medical image segmentation.☆17Dec 25, 2025Updated 3 months ago
- Source code of NA-LOAM: Normal-based Adaptive LiDAR Odometry and Mapping☆16Aug 17, 2024Updated last year
- ☆10Mar 24, 2025Updated last year
- [ACM MM2024] The code for HMLLM.☆11Oct 27, 2024Updated last year
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Adapting Vision-Language Foundation Model for Next Generation Medical Ultrasound Image Analysis☆18Jan 7, 2026Updated 3 months ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MCPL: Multi-modal Collaborative Prompt Learning for Medical Vision-Language Model (Initial Version)☆13Apr 17, 2024Updated 2 years ago
- [RA-L] SHeRLoc: Synchronized Heterogeneous Radar Place Recognition for Cross-Modal Localization☆28Nov 24, 2025Updated 4 months ago
- 🪜 [AAAI 2026, Oral] Pytorch implementation of 'PCGS: Progressive Compression of 3D Gaussian Splatting'☆44Jan 23, 2026Updated 2 months ago
- 📍TextSLAM: Visual SLAM with Semantic Planar Text Features. (ICRA2020 & TPAMI2023)☆212Jul 1, 2024Updated last year
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Code for the paper "Exploiting Temporality for Semi Supervised Video Segmentation" (ICCV '19)☆24Dec 7, 2019Updated 6 years ago
- The code for ICCV2021 Light Field Saliency Detection with Dual Local Graph Learning and Reciprocative Guidance☆12Apr 1, 2022Updated 4 years ago
- Code and data for "Does Spatial Cognition Emerge in Frontier Models?"☆28Apr 18, 2025Updated last year
- Dur360BEV: (ICRA 2025) A Real-world 360-degree Single Camera Dataset and Benchmark for Bird-Eye View Mapping in Autonomous Driving☆23Feb 2, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Official codebase for FACMIC: Federated Adaptative CLIP Model for Medical Image Classification (Accepted at MICCAI 2024)☆14Jun 21, 2024Updated last year
- CVPR 2024: Bootstrapping Autonomous Driving Radars with Self-Supervised Learning☆35Aug 28, 2024Updated last year
- SOTA Spherical Target-based Calibration (accepted in IROS'25)☆29Mar 27, 2026Updated 3 weeks ago
- 科研数据可视化☆19Dec 5, 2024Updated last year
- The benchmark and datasets of the ICML 2024 paper "VisionGraph: Leveraging Large Multimodal Models for Graph Theory Problems in Visual C…☆17May 27, 2024Updated last year
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago