☆53Nov 26, 2024Updated last year
Alternatives and similar repositories for LLM-R2
Users that are interested in LLM-R2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An automated prover that verifies the equivalence of SQL queries☆68Nov 22, 2025Updated 7 months ago
- Source code of our SIGMOD 2025 paper "Athena: An Effective Learning-based Framework for Query Optimizer Performance Improvement"☆18Aug 11, 2025Updated 11 months ago
- Galois☆15Updated this week
- A Benchmark for Transactional Database Performance Anomalies☆12Nov 21, 2023Updated 2 years ago
- Paper related to AI4DB techniques☆116Apr 14, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆82Mar 22, 2024Updated 2 years ago
- ☆25Mar 26, 2026Updated 3 months ago
- ☆64May 12, 2024Updated 2 years ago
- A prototype implementation of Bao for PostgreSQL☆222Sep 17, 2024Updated last year
- ☆19Apr 28, 2026Updated 2 months ago
- A new CardEst Benchmark to Bridge AI and DBMS☆137Mar 14, 2023Updated 3 years ago
- ☆18Jun 12, 2026Updated last month
- QUITE: A query rewrite system beyond rules with LLM agents.☆22Jun 22, 2026Updated 3 weeks ago
- ☆13Jan 17, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implements the [TPCH benchmark](http://www.tpc.org/tpch/) for Postgres☆30Apr 11, 2022Updated 4 years ago
- ☆74Jan 20, 2023Updated 3 years ago
- ☆13Jul 16, 2022Updated 4 years ago
- ☆19Apr 14, 2026Updated 3 months ago
- 本仓库维护DBHammer实验室的讨论班记录☆18Jun 14, 2026Updated last month
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- ☆19Jan 31, 2024Updated 2 years ago
- Source code for QuickSel (SIGMOD 2020)☆19Jul 12, 2025Updated last year
- ☆26Dec 14, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆25Mar 5, 2026Updated 4 months ago
- Benchmarking data and script used for LLM multi-agent collaboration systems from AWS Bedrock Agents Science team.☆18Dec 10, 2024Updated last year