[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 4 months ago
- An HBM FPGA based SpMV Accelerator☆18Aug 29, 2024Updated last year
- ☆24Oct 30, 2024Updated last year
- An experimental mutual induction tactic for Lean 4.☆30May 13, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆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 9 months ago
- Simply Typed Lambda Calculus with de Bruijn indices☆19Mar 20, 2025Updated last year
- ☆38Jan 17, 2025Updated last year
- ☆16Nov 19, 2021Updated 4 years ago
- A formally verified implementation of differential dynamic logic in Coq☆20May 16, 2022Updated 4 years ago
- ☆12Aug 13, 2014Updated 11 years ago
- ☆11Jun 3, 2017Updated 9 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.
- Code for "APTBench: Benchmarking Agentic Potential of Base LLMs During Pre-Training"☆42Dec 23, 2025Updated 5 months ago
- ☆10Aug 16, 2022Updated 3 years ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆34Jan 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 8 months ago
- Formalising the WASM spec in Lean☆30Nov 14, 2025Updated 7 months ago
- Queryable Window Example☆10Mar 9, 2016Updated 10 years ago
- Vectorized implementations of hash join algorithms on Intel Xeon Phi (KNL)☆15Feb 3, 2018Updated 8 years ago
- Findings in ACL 2023☆10Dec 5, 2023Updated 2 years ago
- (NeurIPS 2025 🔥) Official implementation for "Efficient Multi-modal Large Language Models via Progressive Consistency Distillation"☆50Feb 11, 2026Updated 4 months 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.
- Ultra-Lightweight, Pure Python Multimodal Agent.☆142Jun 9, 2026Updated last week
- A curated list for Efficient Large Language Models☆11Mar 25, 2024Updated 2 years ago
- ML about cluster, regression, classification, and so on. As a playground. Just for fun.☆10Jun 11, 2022Updated 4 years ago
- Official implementation of paper "HiAE: A High-Throughput Authenticated Encryption Algorithm for Cross-Platfor Efficiency"☆19Nov 11, 2025Updated 7 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 8 months ago
- 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
- [ICLR 2026] Official Implementation of ProxyThinker: Test-Time Guidance through Small Visual Reasoners.☆22Sep 24, 2025Updated 8 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.
- homework in SCUT_SE☆12Nov 9, 2021Updated 4 years ago
- Contains performance benchmark applications for IBM Streams☆13Jul 6, 2025Updated 11 months ago
- Ankama新游戏Waven Beta测试专用汉化启动器☆10Aug 20, 2023Updated 2 years ago
- [CVPR 2020] A generative model with latent factors that are independent and localized.☆12Mar 27, 2025Updated last year
- ☆23Jun 1, 2025Updated last year
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆18May 27, 2026Updated 2 weeks ago
- ☆20Feb 8, 2024Updated 2 years ago