[NeurIPS'24] UDA: A Benchmark Suite for Retrieval Augmented Generation in Real-world Document Analysis
☆47Feb 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:
- Compiler backend☆16Aug 7, 2026Updated 3 weeks ago
- string diagrams for the working programmer☆15Jul 17, 2023Updated 3 years ago
- An HBM FPGA based SpMV Accelerator☆19Aug 29, 2024Updated 2 years ago
- 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
- ☆16Mar 14, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆17Aug 18, 2026Updated 2 weeks ago
- ☆22Nov 23, 2023Updated 2 years ago
- A toy ELF parser/validator☆17Dec 18, 2024Updated last year
- ☆38Jan 17, 2025Updated last year
- A formally verified implementation of differential dynamic logic in Coq☆21May 16, 2022Updated 4 years ago
- ☆18Feb 10, 2026Updated 6 months ago
- ☆17Aug 18, 2026Updated 2 weeks ago
- ☆13Oct 4, 2022Updated 3 years ago
- Formalising the WASM spec in Lean☆33Nov 14, 2025Updated 9 months 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.
- ACL'2024-Main: Synergetic Event Understanding: A Collaborative Approach to Cross-Document Event Coreference Resolution with Large Languag…☆12Sep 19, 2025Updated 11 months ago
- Proof infrastructure about LTL in Lean 4☆34Updated this week
- 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 2 years ago
- ☆13Jan 14, 2025Updated last year
- ☆16Nov 19, 2021Updated 4 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆12Aug 1, 2024Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆63Jul 20, 2025Updated last year
- A mutual induction tactic for Lean 4.☆33Aug 17, 2026Updated 2 weeks ago
- ☆10Feb 22, 2023Updated 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.
- (CVPR 2024) FLHetBench: Benchmarking Device and State Heterogeneity in Federated Learning☆19Jun 21, 2024Updated 2 years ago
- ☆24Aug 8, 2024Updated 2 years ago
- Textbook on non-classical logics☆14Jul 12, 2026Updated last month
- A Socratic dialogue engine for AI agents.☆16Nov 30, 2025Updated 9 months ago
- In-context Contrastive Learning for Event Causality Identification☆15Oct 15, 2024Updated last year
- Official Implementation for Seq2seq is All You Need For Coreference Resolution Paper☆16Dec 1, 2023Updated 2 years ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆42Aug 25, 2025Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆41Jun 30, 2026Updated 2 months ago
- Generate sentences from a probabilistic context-free grammar.☆17Nov 8, 2024Updated last year
- 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.
- Implementation of Perceiver, General Perception with Iterative Attention, in Pytorch☆14Mar 13, 2025Updated last year
- Model Discrete Parameters In Stan☆11Dec 13, 2017Updated 8 years ago
- Building a compiler to WASM step-by-step☆16Mar 23, 2025Updated last year
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆19Jul 22, 2021Updated 5 years ago
- TensorFlow implementation of CoordConv Layer introduced by UBER☆14Dec 3, 2018Updated 7 years ago
- Eigendecomposition-free Training of Deep Networks with Zero Eigenvalue-based Losses (ECCV 2018)☆16Aug 14, 2019Updated 7 years ago
- A living document with the guidelines for RED annotation, and any scripts useful for working with RED documents☆39Nov 7, 2016Updated 9 years ago