☆39Aug 9, 2022Updated 3 years ago
Alternatives and similar repositories for DiVeRSe
Users that are interested in DiVeRSe are comparing it to the libraries listed below
Sorting:
- ☆18Nov 30, 2020Updated 5 years ago
- ☆38Jul 13, 2022Updated 3 years ago
- ☆14Aug 15, 2024Updated last year
- This repository contains source code for the PASTA model, a pre-trained language model for table-based fact verification.☆18Dec 27, 2022Updated 3 years ago
- [NAACL 2024] A Synthetic, Scalable and Systematic Evaluation Suite for Large Language Models☆33Jun 10, 2024Updated last year
- ☆33Jul 25, 2024Updated last year
- Implementation of the paper: "Turning Tables: Generating Examples from Semi-structured Tables for Endowing Language Models with Reasoning…☆22Nov 2, 2021Updated 4 years ago
- OpenPI dataset for tracking entities in open domain procedural text☆24Aug 13, 2024Updated last year
- TSQA: Tabular Scenario Based Question Answering (AAAI 2021)☆18Dec 17, 2020Updated 5 years ago
- ☆19Sep 19, 2022Updated 3 years ago
- ☆14Oct 11, 2023Updated 2 years ago
- ☆13Jun 26, 2024Updated last year
- Official Code Repository for [AutoScale📈: Scale-Aware Data Mixing for Pre-Training LLMs] Published as a conference paper at **COLM 2025*…☆13Aug 8, 2025Updated 7 months ago
- ☆48Sep 5, 2024Updated last year
- Short RL☆18May 26, 2025Updated 9 months ago
- ☆25Aug 23, 2024Updated last year
- Codes for ACL-IJCNLP 2021 Paper "Zero-shot Fact Verification by Claim Generation"☆65Dec 18, 2021Updated 4 years ago
- The repo of the Doc2SoarGraph framework☆10Sep 17, 2024Updated last year
- Collection of LLM completions for reasoning-gym task datasets☆31Jul 4, 2025Updated 8 months ago
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 9 months ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆86Sep 15, 2024Updated last year
- Official Code and Data repository of our ACL 2021 paper X-FACT: A New Benchmark Dataset for Multilingual Fact Checking.☆27Oct 4, 2024Updated last year
- Offline RL experiments☆15Oct 1, 2022Updated 3 years ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆71Jan 22, 2026Updated last month
- "HIT-SCIR at MRP 2019: A Unified Pipeline for Meaning Representation Parsing via Efficient Training and Effective Encoding"-1st system in…☆27Jul 9, 2020Updated 5 years ago
- Python tools☆14Oct 22, 2023Updated 2 years ago
- Chu-Lui-Edmonds decoding extracted from TurboParser☆14May 16, 2017Updated 8 years ago
- An exploration of LLM steering☆25Jun 15, 2024Updated last year
- ☆21Jul 9, 2025Updated 8 months ago
- A PyTorch Implementation of Neural Symbolic Machines by Liang et al. (2018)☆63Aug 19, 2020Updated 5 years ago
- ☆13May 21, 2024Updated last year
- Code for "Echo Chamber: RL Post-training Amplifies Behaviors Learned in Pretraining"☆27Oct 14, 2025Updated 5 months ago
- Code for doing Argument Structure Prediction using Residual Networks and (almost) without symbolic features☆11May 24, 2023Updated 2 years ago
- Code for ACL2024 paper - Adversarial Preference Optimization (APO).☆56Jun 3, 2024Updated last year
- SlayTheCli: A console client for the game Slay The Spire☆16Jul 12, 2020Updated 5 years ago
- 2018研究生推免计算机类高校夏令营时间安排☆12May 14, 2018Updated 7 years ago
- ☆12Jun 29, 2024Updated last year
- The dataset and source code for our paper: "Did You Ask a Good Question? A Cross-Domain Question IntentionClassification Benchmark for Te…☆32Jul 5, 2021Updated 4 years ago
- ☆12Jan 17, 2025Updated last year