a benchmark suite for testing logical reasoning abilities of prompt-based models
☆31Nov 20, 2023Updated 2 years ago
Alternatives and similar repositories for LogiEval
Users that are interested in LogiEval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dataset for AAAI paper "Natural Language Inference in Context - Investigating Contextual Reasoning over Long Texts"☆11Nov 18, 2022Updated 3 years ago
- ☆17Jul 22, 2023Updated 2 years ago
- Evaluation on Logical Reasoning and Abstract Reasoning Challenges☆30Apr 21, 2025Updated last year
- The code of Paper "Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text".☆48Mar 2, 2023Updated 3 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- Source code of paper "Systematic Assessment of Factual Knowledge in Large Language Models" - EMNLP Findings 2023☆17Mar 17, 2026Updated 2 months ago
- The source code for Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning. #1 on the ReClor Leaderbo…☆18Dec 2, 2025Updated 6 months ago
- A repo for RLHF training and BoN over LLMs, with support for reward model ensembles.☆48Jan 16, 2025Updated last year
- Interview-based evaluation of LLMs☆28May 21, 2026Updated 3 weeks ago
- OpenAI gym environments for goal-conditioned and language-conditioned reinforcement learning☆14Jan 27, 2026Updated 4 months ago
- This repository contains the dataset and the pytorch implementations of the models from the paper CIDER: Commonsense Inference for Dialog…☆27Oct 30, 2022Updated 3 years ago
- ☆10Oct 3, 2023Updated 2 years ago
- EPMC: An Extendible Probabilistic Model Checker☆21Jan 13, 2025Updated last year
- 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.
- Code for the benchmarking single-cell foundation models (scGPT, scBERT, and Geneformer) for cell-type annotation task using skewed single…☆15Dec 8, 2024Updated last year
- ☆18Jul 25, 2025Updated 10 months ago
- This is the official implementation of TAGCOS: Task-agnostic Gradient Clustered Coreset Selection for Instruction Tuning Data☆13Jul 21, 2024Updated last year
- [ICML 2023] Code for paper "Internally Rewarded Reinforcement Learning"☆13Jul 21, 2023Updated 2 years ago
- ☆11Nov 11, 2022Updated 3 years ago
- A Python script to delete all comment and submission data from a given Reddit account.☆11Jan 5, 2021Updated 5 years ago
- ☆11Mar 25, 2022Updated 4 years ago
- Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023☆22Nov 7, 2023Updated 2 years ago
- ☆13Jun 4, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation of "Adversarial purification with Score-based generative models", ICML 2021☆30Oct 24, 2021Updated 4 years ago
- ARI (Abstract Reasoning Induction) is an innovative framework designed to enhance the temporal reasoning capabilities of Large Language M…☆13Dec 29, 2024Updated last year
- TensorFlow implementation for SmoothGrad, Grad-CAM, Guided backprop, Integrated Gradients and other saliency techniques☆33Jan 16, 2021Updated 5 years ago
- implementation of paper "Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners"☆20Aug 17, 2023Updated 2 years ago
- Code release for "Training Robots to Evaluate Robots" (CoRL'22, Best Paper Award)☆17Feb 15, 2023Updated 3 years ago
- ☆30Aug 21, 2025Updated 9 months ago
- We enable LLM with personalization capability☆11Nov 16, 2023Updated 2 years ago
- Temporal Commonsense Reasoning in Dialog☆72Jun 9, 2021Updated 5 years ago
- A codebase for experimenting with various approaches to action priors.☆18Jul 14, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code for the ICRA 2024 Cook2LTL paper on translating free-form cooking recipes to Linear Temporal Logic (LTL) formulae for robot task pla…☆22Oct 18, 2024Updated last year
- ☆23Oct 14, 2024Updated last year
- ☆16Apr 11, 2026Updated 2 months ago
- ☆12Mar 19, 2024Updated 2 years ago
- ☆19Mar 28, 2023Updated 3 years ago
- [COLM 2025] Official code for "When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoni…☆15Oct 31, 2025Updated 7 months ago
- Logical fallacy online detection tools☆20Oct 31, 2022Updated 3 years ago