[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
- Compiler backend☆15Updated this week
- ☆18Feb 10, 2026Updated 4 months ago
- string diagrams for the working programmer☆15Jul 17, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆30May 13, 2026Updated last month
- 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.
- ☆16Mar 14, 2024Updated 2 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆42Aug 25, 2025Updated 10 months ago
- Simply Typed Lambda Calculus with de Bruijn indices☆19Mar 20, 2025Updated last year
- A formally verified implementation of differential dynamic logic in Coq☆20May 16, 2022Updated 4 years ago
- ☆13Oct 4, 2022Updated 3 years ago
- Code for "APTBench: Benchmarking Agentic Potential of Base LLMs During Pre-Training"☆42Dec 23, 2025Updated 6 months ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆37Jan 6, 2025Updated last year
- ACL'2024-Main: Synergetic Event Understanding: A Collaborative Approach to Cross-Document Event Coreference Resolution with Large Languag…☆12Sep 19, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Formalising the WASM spec in Lean☆30Nov 14, 2025Updated 7 months ago
- ☆26Oct 9, 2025Updated 8 months ago
- A book about Ph.D. student and research career planning☆29Oct 21, 2025Updated 8 months ago
- [ICLR 2026] Official Implementation of ProxyThinker: Test-Time Guidance through Small Visual Reasoners.☆22Sep 24, 2025Updated 9 months 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
- 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 2 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.
- Next-Generation AI-Assisted Kernel Engineering for Multi-Chip Systems☆67Jun 24, 2026Updated last week
- A telegram bot that sends you a message when the GPU is in use☆11May 27, 2024Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆58Jul 20, 2025Updated 11 months ago
- Textbook on non-classical logics☆14Jun 25, 2025Updated last year
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- INFRA-COMPASS is a tool that leverages Large Language Models (LLMs) to create and maintain an inventory of state and local codes and ordi…☆18Updated this week
- Compute benchmark of table structure recognition.☆31Dec 2, 2025Updated 7 months ago
- Tutorial Exercises and Code for GPU Communications Tutorial at HOT Interconnects 2025☆32Oct 22, 2025Updated 8 months ago
- ☆27Nov 28, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 投资组合评比器，基于python3.8和mysql8.0。由Concyclics和wingholy完成主要编程工作，可实现对于蛋卷基金和且慢基金平台投资组合信息的收集和对比。☆11Jun 18, 2021Updated 5 years ago
- A standalone CXL-enabled system simulator.☆21Apr 19, 2026Updated 2 months ago
- A toy ELF parser/validator☆17Dec 18, 2024Updated last year
- Official PyTorch implementation of The Linear Attention Resurrection in Vision Transformer☆15Sep 7, 2024Updated last year
- ☆10Nov 6, 2024Updated last year
- Official repository of DialSim☆33Oct 31, 2025Updated 8 months ago
- EdgeRag is a program that runs large language models and vector databases on your local device☆14May 29, 2024Updated 2 years ago