Knowledge Enhanced Zero-Shot Visual Relationship Detection
☆10May 30, 2024Updated 2 years ago
Alternatives and similar repositories for K-VRD
Users that are interested in K-VRD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Weighted Model Counting on Pseudo-Boolean Constraints.☆11Mar 3, 2025Updated last year
- A toolbox for knowledge compilation☆29Nov 25, 2025Updated 11 months ago
- CNF preprocessor and functional synthesis tool☆28Oct 28, 2026Updated last week
- CMSGen, a fast weighted uniform-like sampler☆12Nov 26, 2025Updated 11 months ago
- ☆49Apr 10, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated last year
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆26Dec 6, 2022Updated 3 years ago
- An SMT Solver☆29Updated this week
- A Reinforcement Learning Friendly Simulator for Multiple Mobile Robot☆19Feb 28, 2025Updated last year
- PolytopeWalk: fast sparse and dense random walks on polytope, with C++ backend and Python interface☆18Aug 29, 2026Updated 2 months ago
- Respiration-rate-and-heart-rate-detection is a project developed for the Biomedical Signal Processing exam at the University of Milan (ac…☆11Sep 30, 2021Updated 5 years ago
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- Implementation of the Paper Scene-Graph ViT☆10Dec 20, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- KLEE with floating point support (unmaintained)☆21Feb 15, 2022Updated 4 years ago
- ©️大学生软件著作权申请指南，包含代码工具、申请流程、系统说明手册和源代码模板文件、合作开发协议等内容，加速领证速度🚀🚀☆30Feb 17, 2025Updated last year
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- MCP Server for YouTube API, enabling video management, Shorts creation, and advanced analytics☆11Nov 22, 2025Updated 11 months ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- A simple HTML+Python anonymous online chat room that supports AES encrypted communication & 一个简单的，支持 AES 加密通信的 HTML+Python 匿名在线聊天室☆15Aug 6, 2023Updated 3 years ago
- YOLO-World-ONNX is a Python package for running inference on YOLO-WORLD Open-vocabulary-object detection model using ONNX models. It prov…☆18Feb 6, 2026Updated 8 months ago
- KLEEF Symbolic Execution Engine☆25Apr 18, 2026Updated 6 months ago
- 利用协同过滤算法，基于用户历史订单数据，对店铺的用户和商品进行推荐☆12Oct 21, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- List of Treewidth solvers, instances, and tools☆41Sep 21, 2022Updated 4 years ago
- 小红书API数据采集☆17Nov 1, 2024Updated 2 years ago
- ☆33Sep 1, 2026Updated 2 months ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- 一键导出当前 PPT 页面为无白边 PDF 的 PPT 插件，适合用 PPT 画论文图☆14Jul 29, 2026Updated 3 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆36Updated this week
- [ACMMM'25] Referring Expression Instance Retrieval and A Strong End-to-End Baseline☆19Apr 7, 2026Updated 6 months ago
- High-performance model counter☆67Oct 25, 2026Updated last week
- Structured BVA☆46Apr 26, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆21May 8, 2026Updated 5 months ago
- ultralytics_pro 是一堆改過架構的模型大禮包 (包含 v3 ~ 26, yolo-master, RTMDet / RT-DETR, yolact, yoloe / yolo-world, PicoDet / PPyoloE / YoloX, YOLOR /…☆28Jun 4, 2026Updated 5 months ago
- ☆15Jun 13, 2020Updated 6 years ago
- A C++ SMT/OMT Parser Library☆53Updated this week
- 中科大凌青老师凸优化课程的课程笔记☆41Jan 19, 2021Updated 5 years ago
- HM3D-M³: A Benchmark for Multi-Agent, Multi-Modal, Multi-Object Goal Navigation☆23Oct 15, 2026Updated 3 weeks ago
- 小红书小程序版本爬虫☆24Feb 8, 2023Updated 3 years ago