[ICCV] NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
☆28Jan 15, 2026Updated last month
Alternatives and similar repositories for NAVER
Users that are interested in NAVER are comparing it to the libraries listed below
Sorting:
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated last year
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆17Nov 23, 2020Updated 5 years ago
- Segment This Thing is an efficient image segmentation models that uses a biologically-inspired foveated tokenization to reduce inference …☆55Jun 16, 2025Updated 8 months ago
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 8 years ago
- A Real time LiDAR-Visual-Inertial object level semantic SLAM for Forest Environments☆13Dec 2, 2024Updated last year
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- The implementation codes of paper: Multimodal Sentiment Analysis with Mutual Information-based Disentangled Representation Learning☆18May 8, 2025Updated 9 months ago
- 🤖 Dataset for TextSLAM: Visual SLAM with Semantic Planar Text Features. (ICRA2020 & TPAMI2023)☆41Jan 4, 2024Updated 2 years ago
- Official codebase for FACMIC: Federated Adaptative CLIP Model for Medical Image Classification (Accepted at MICCAI 2024)☆14Jun 21, 2024Updated last year
- The official pytorch implemention of our IJCV-2025 paper "Learning with Enriched Inductive Biases for Vision-Language Models".☆14Mar 26, 2025Updated 11 months ago
- Hypergraph Vision Transformers: Images are More than Nodes, More than Edges☆17Jul 25, 2025Updated 7 months ago
- Dur360BEV: (ICRA 2025) A Real-world 360-degree Single Camera Dataset and Benchmark for Bird-Eye View Mapping in Autonomous Driving☆23Feb 2, 2026Updated last month
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- RA-LLO: Robust Adaptive Legged-LiDAR Odometry with Gaussian Process Motion Prior☆16Jul 5, 2025Updated 8 months ago
- A Reinforcement Learning package for 6th semester project☆12Jun 26, 2018Updated 7 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- ☆20Nov 10, 2025Updated 3 months ago
- Official implementation of the paper "M3CoTBench: Benchmark Chain-of-Thought of MLLMs in Medical Image Understanding"☆21Jan 14, 2026Updated last month
- ☆12Dec 17, 2024Updated last year
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- ☆14Jul 8, 2024Updated last year
- Official repository for "Thermal Chameleon Net: Task-Adaptive Tone-mapping for Thermal-Infrared images"☆12Nov 18, 2025Updated 3 months ago
- [ICLR ML4RS 2025] Official implementation for the paper "Tackling Few-Shot Segmentation in Remote Sensing via Inpainting Diffusion Model"☆14Feb 2, 2026Updated last month
- CAPD library☆16Jan 4, 2026Updated 2 months ago
- Official Implementation of the topograph method for topology-preserving image segmentation.☆22Oct 2, 2024Updated last year
- Enhanced CNN-based Small Target Detection in Sea Clutter with Controllable False Alarm☆16Apr 14, 2023Updated 2 years ago
- Module for Pickling objects in C++.☆14May 2, 2021Updated 4 years ago
- Code for I-RAVEN-X generation and experiments☆19Sep 18, 2025Updated 5 months ago
- ☆10Mar 24, 2025Updated 11 months ago
- ☆10Feb 26, 2021Updated 5 years ago
- Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.☆11Aug 26, 2023Updated 2 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- ☆12Oct 30, 2024Updated last year
- Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "I…☆12Aug 15, 2023Updated 2 years ago
- ☆13Jul 6, 2024Updated last year
- This example shows how to perform quantization aware training for transfer learned MobileNet-v2 network.☆12Dec 19, 2023Updated 2 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- Demonstration project for Java analysis☆14Aug 1, 2024Updated last year