[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
- string diagrams for the working programmer☆15Jul 17, 2023Updated 2 years ago
- An HBM FPGA based SpMV Accelerator☆18Aug 29, 2024Updated last year
- An experimental mutual induction tactic for Lean 4.☆29May 13, 2026Updated last week
- ☆16Mar 14, 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.
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆42Aug 25, 2025Updated 9 months ago
- ☆15Nov 19, 2021Updated 4 years ago
- A formally verified implementation of differential dynamic logic in Coq☆20May 16, 2022Updated 4 years ago
- (NeurIPS 2024) One-shot Federated Learning via Synthetic Distiller-Distillate Communication☆19Mar 11, 2025Updated last year
- Lean for Scientists and Engineers, course taught in Summer 2024☆31Jan 6, 2025Updated last year
- Code for "APTBench: Benchmarking Agentic Potential of Base LLMs During Pre-Training"☆41Dec 23, 2025Updated 5 months ago
- Formalising the WASM spec in Lean☆30Nov 14, 2025Updated 6 months ago
- OSWorld-Human: Benchmarking the Efficiency of Computer-Use Agents☆25May 17, 2026Updated last week
- Unofficial implementation of the Ask-LLM paper 'How to Train Data-Efficient LLMs', arXiv:2402.09668.☆12Jun 19, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Oct 12, 2024Updated last year
- (NeurIPS 2025 🔥) Official implementation for "Efficient Multi-modal Large Language Models via Progressive Consistency Distillation"☆48Feb 11, 2026Updated 3 months ago
- Ultra-Lightweight, Pure Python Multimodal Agent.☆138Updated this week
- ML about cluster, regression, classification, and so on. As a playground. Just for fun.☆10Jun 11, 2022Updated 3 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated 3 months ago
- Official implementation of paper "HiAE: A High-Throughput Authenticated Encryption Algorithm for Cross-Platfor Efficiency"☆19Nov 11, 2025Updated 6 months ago
- Please visit https://github.com/HKUSTDial/NL2SQL360 to get the official code!☆10Sep 1, 2024Updated last year
- ☆13Oct 25, 2024Updated last year
- ☆26Oct 9, 2025Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A repository for the EMNLP 2021 paper "Is Information Density Uniform in Task-Oriented Dialogues?" and for the CoNLL 2021 paper "Analysin…☆10Jun 17, 2024Updated last year
- B站爬虫☆15Dec 10, 2023Updated 2 years ago
- A book about Ph.D. student and research career planning☆29Oct 21, 2025Updated 7 months ago
- Next-Generation AI-Assisted Kernel Engineering for Multi-Chip Systems☆49May 9, 2026Updated 2 weeks ago
- [ICLR 2026] Official Implementation of ProxyThinker: Test-Time Guidance through Small Visual Reasoners.☆22Sep 24, 2025Updated 8 months ago
- homework in SCUT_SE☆12Nov 9, 2021Updated 4 years ago
- Interpreting Chest X-rays Like a Radiologist: A Benchmark with Clinical Reasoning, release the dataset and the model weight☆13May 26, 2025Updated last year
- GBDT-based model with efficient unlearning (SIGMOD 2023)☆10Sep 7, 2025Updated 8 months ago
- ☆22Jun 1, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆18May 19, 2026Updated last week
- ☆14Oct 30, 2024Updated last year
- raytracer☆10Jul 18, 2022Updated 3 years ago
- Fast, small, webkit based browser framework extensible by Lua.☆24Jul 20, 2015Updated 10 years ago
- 简单的代码控制系统☆13Oct 16, 2021Updated 4 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆28Apr 22, 2026Updated last month
- (CVPR 2024) FLHetBench: Benchmarking Device and State Heterogeneity in Federated Learning☆20Jun 21, 2024Updated last year