[NeurIPS'24] UDA: A Benchmark Suite for Retrieval Augmented Generation in Real-world Document Analysis
☆42Feb 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
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 3 weeks ago
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated last month
- A formally verified implementation of differential dynamic logic in Coq☆18May 16, 2022Updated 3 years ago
- ☆16Mar 14, 2024Updated last year
- Simply Typed Lambda Calculus with de Bruijn indices☆16Mar 20, 2025Updated 11 months ago
- An HBM FPGA based SpMV Accelerator☆17Aug 29, 2024Updated last year
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆38Aug 25, 2025Updated 6 months ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆25Jan 6, 2025Updated last year
- ☆22Nov 23, 2023Updated 2 years ago
- Formalising the WASM spec in Lean☆28Nov 14, 2025Updated 3 months ago
- Ubiflux Vigor ventilation system RS485 Modbus communications with Python☆11Feb 20, 2026Updated 2 weeks ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆27Jun 7, 2025Updated 8 months ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated last month
- raytracer☆10Jul 18, 2022Updated 3 years ago
- MiniGPT-Pancreas: Multimodal Large language Model for Pancreas Cancer Classification and Detection☆11Sep 19, 2025Updated 5 months ago
- [CVPR 2020] A generative model with latent factors that are independent and localized.☆12Mar 27, 2025Updated 11 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Feb 26, 2026Updated last week
- ☆14Jan 23, 2026Updated last month
- Ankama新游戏Waven Beta测试专用汉化启动器☆10Aug 20, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆31Feb 26, 2026Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- Official PyTorch implementation of The Linear Attention Resurrection in Vision Transformer☆16Sep 7, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- Code repository supporting the paper "Auto-Generating Weak Labels for Real & Synthetic Data to Improve Label-Scarce Medical Image Segment…☆11Apr 29, 2024Updated last year
- A benchmark dataset designed to support the development and evaluation of large language models (LLMs) for conversational mental health a…☆16Feb 24, 2025Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- OSWorld-Human: Benchmarking the Efficiency of Computer-Use Agents☆21Jan 6, 2026Updated 2 months ago
- [IROS 2025] EgoLoc: Zero-Shot Temporal Interaction Localization for Egocentric Videos☆33Jan 13, 2026Updated last month
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Quantization of LLMs and benchmarking.☆10Apr 3, 2024Updated last year
- ☆11Aug 29, 2025Updated 6 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- A standalone CXL-enabled system simulator.☆18Jan 10, 2026Updated last month
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- A python library for easily querying morphological inflection models trained on Unimorph☆13Oct 23, 2022Updated 3 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago