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:
- Logiqa2.0 dataset - logical reasoning in MRC and NLI tasks☆102Aug 11, 2023Updated 3 years ago
- Dataset for AAAI paper "Natural Language Inference in Context - Investigating Contextual Reasoning over Long Texts"☆11Nov 18, 2022Updated 3 years ago
- Benchmarks for the VNN Comp 2022☆10Jun 7, 2024Updated 2 years ago
- ☆10Oct 11, 2022Updated 4 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆14Jun 30, 2022Updated 4 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.
- The source code for Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning. #1 on the ReClor Leaderbo…☆18Dec 2, 2025Updated 11 months ago
- A data preprocessor for the Quranic Treebank using neural networks. Divides longer verses into smaller chunks.☆12Jul 4, 2023Updated 3 years ago
- Source code of paper "Systematic Assessment of Factual Knowledge in Large Language Models" - EMNLP Findings 2023☆19Mar 17, 2026Updated 7 months ago
- OpenAI gym environments for goal-conditioned and language-conditioned reinforcement learning☆14Jan 27, 2026Updated 9 months ago
- A repo for RLHF training and BoN over LLMs, with support for reward model ensembles.☆51Jan 16, 2025Updated last year
- ☆10Jun 21, 2024Updated 2 years ago
- ☆23Aug 27, 2023Updated 3 years ago
- A Python script to delete all comment and submission data from a given Reddit account.☆11Jan 5, 2021Updated 5 years ago
- KNN Implementation for FAISS☆12Mar 6, 2019Updated 7 years 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.
- PaddlePaddle Course☆12Mar 4, 2021Updated 5 years ago
- The benchmark to evaluate lifelong reinforcement learning algorithms☆11Jul 17, 2023Updated 3 years ago
- ☆10Oct 3, 2023Updated 3 years ago
- Code for generating options for planning and reinforcement learning☆12Feb 18, 2021Updated 5 years ago
- Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023☆21Nov 7, 2023Updated 3 years ago
- Temporal fast downward planner.☆12Apr 9, 2023Updated 3 years ago
- A Multimodal Service Robot Integrating Visual, Tactile, and Auditory Perception☆11Jul 28, 2025Updated last year
- The official code for [ECCV2020] "HALO: Hardware-aware Learning to Optimize"☆10Mar 22, 2023Updated 3 years ago
- ☆13Jan 17, 2023Updated 3 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.
- Chunk-based neural machine translation☆17Apr 24, 2022Updated 4 years ago
- This is the official implementation of TAGCOS: Task-agnostic Gradient Clustered Coreset Selection for Instruction Tuning Data☆13Jul 21, 2024Updated 2 years ago
- Keras implementation of 'Convolutional Neural Networks for Sentence Classification. EMNLP 2014. Y. Kim.☆13Jan 20, 2017Updated 9 years ago
- 🤖🎥🇯🇵 ROSConJP 2019 presentation using Dolly and Simslides☆10Sep 25, 2019Updated 7 years ago
- We enable LLM with personalization capability☆11Nov 16, 2023Updated 2 years ago
- implementation of paper "Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners"☆20Aug 17, 2023Updated 3 years ago
- Implementation of LaViC (KDD 2025)☆13Jun 1, 2025Updated last year
- ☆13Jun 4, 2023Updated 3 years ago
- Code release for "Training Robots to Evaluate Robots" (CoRL'22, Best Paper Award)☆17Feb 15, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Releases, issues and discussions for WikiTraccs from the Wiki Transformation Project☆13Updated this week
- ☆11Mar 25, 2022Updated 4 years ago
- ☆19Mar 28, 2023Updated 3 years ago
- ☆15Nov 4, 2025Updated last year
- ☆14Feb 8, 2022Updated 4 years ago
- Code for the benchmarking single-cell foundation models (scGPT, scBERT, and Geneformer) for cell-type annotation task using skewed single…☆16Dec 8, 2024Updated last year
- ☆10Oct 18, 2023Updated 3 years ago