[NeurIPS'24] UDA: A Benchmark Suite for Retrieval Augmented Generation in Real-world Document Analysis
☆43Feb 21, 2025Updated last year
Alternatives and similar repositories for UDA-Benchmark
Users that are interested in UDA-Benchmark are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- ☆17Feb 10, 2026Updated last month
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated 2 months ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆38Aug 25, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Multimodal RAG using LlamaIndex, Qdrant, llama.cpp for document QA with local VisonLLM and embedding models☆18Nov 8, 2024Updated last year
- ☆16Mar 14, 2024Updated 2 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆17Mar 20, 2025Updated last year
- A formally verified implementation of differential dynamic logic in Coq☆18May 16, 2022Updated 3 years ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆27Jan 6, 2025Updated last year
- ☆12Aug 13, 2014Updated 11 years ago
- Formalising the WASM spec in Lean☆30Nov 14, 2025Updated 4 months ago
- Unofficial implementation of the Ask-LLM paper 'How to Train Data-Efficient LLMs', arXiv:2402.09668.☆12Jun 19, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Github repository for CLAPACK (fork of CLAPACK 3.2.1 patched for our needs)☆10Aug 15, 2018Updated 7 years ago
- [ICLR 2026] Official Implementation of ProxyThinker: Test-Time Guidance through Small Visual Reasoners.☆20Sep 24, 2025Updated 6 months ago
- Ultra-Lightweight, Pure Python Multimodal Agent.☆124Updated this week
- A curated list for Efficient Large Language Models☆11Mar 25, 2024Updated 2 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated last month
- Official implementation of paper "HiAE: A High-Throughput Authenticated Encryption Algorithm for Cross-Platfor Efficiency"☆19Nov 11, 2025Updated 4 months ago
- Please visit https://github.com/HKUSTDial/NL2SQL360 to get the official code!☆10Sep 1, 2024Updated last year
- ☆13Oct 25, 2024Updated last year
- A book about Ph.D. student and research career planning☆29Oct 21, 2025Updated 5 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A general human-ai interaction platform.☆16Jan 18, 2025Updated last year
- Megaphone: Latency-conscious state migration☆19Jan 25, 2020Updated 6 years ago
- GBDT-based model with efficient unlearning (SIGMOD 2023)☆10Sep 7, 2025Updated 6 months ago
- Contains performance benchmark applications for IBM Streams☆13Jul 6, 2025Updated 8 months ago
- This Repo focuses on defending against 'adversarial prompts,' detecting and attempting to mitigate objectionable content in real time.☆14Jul 30, 2023Updated 2 years ago
- [CVPR 2020] A generative model with latent factors that are independent and localized.☆12Mar 27, 2025Updated 11 months ago
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆18Mar 13, 2026Updated last week
- ☆14Oct 30, 2024Updated last year
- TaskWeaver Plugins☆12Jan 28, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- Fast, small, webkit based browser framework extensible by Lua.☆24Jul 20, 2015Updated 10 years ago
- Naos: Serialization-free RDMA networking in Java☆17Aug 17, 2021Updated 4 years ago
- raytracer☆10Jul 18, 2022Updated 3 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆28Jun 7, 2025Updated 9 months ago
- A telegram bot that sends you a message when the GPU is in use☆10May 27, 2024Updated last year
- Textbook on non-classical logics☆13Jun 25, 2025Updated 9 months ago