Repo for "Large Language Model Reasoning Failures"
☆170Feb 17, 2026Updated last month
Alternatives and similar repositories for Awesome-LLM-Reasoning-Failures
Users that are interested in Awesome-LLM-Reasoning-Failures are comparing it to the libraries listed below
Sorting:
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Mar 9, 2026Updated last week
- ☆22Sep 16, 2025Updated 6 months ago
- ☆13Aug 3, 2025Updated 7 months ago
- Stable-DiffCoder is a family of lightweight open-source code DLLMs(diffusion large language models) comprising base and instruct models, …☆79Mar 9, 2026Updated last week
- LSL connector for the actiCHamp (plus) device from Brain Products.☆16Aug 1, 2025Updated 7 months ago
- ACL24☆11Jun 7, 2024Updated last year
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- CUDAICA on Windows☆12Oct 16, 2023Updated 2 years ago
- Elm Set built on top of AnyDict☆10Aug 12, 2024Updated last year
- 🧠 Head ARTefact Modelling Using Tripoles☆17Sep 24, 2025Updated 5 months ago
- Implementation for the paper "Fictitious Synthetic Data Can Improve LLM Factuality via Prerequisite Learning"☆11Jan 10, 2025Updated last year
- ☆12Aug 6, 2024Updated last year
- Code for ICLR'2021 paper: On Dyadic Fairness: Exploring and Mitigating Bias in Graph Connections☆12Jul 17, 2021Updated 4 years ago
- An annotated reference list of ML theory☆36May 25, 2023Updated 2 years ago
- ☆10Nov 29, 2024Updated last year
- LiteGPT: A 124M Small Language Model (SLM) pre-trained on FineWeb and fine-tuned on Alpaca.☆34Dec 16, 2025Updated 3 months ago
- ☆71Nov 5, 2025Updated 4 months ago
- 2D/3D geometry package for Elm☆11Jul 1, 2018Updated 7 years ago
- Trains Sparse Autoencoders based on outputs from language models☆11Oct 7, 2024Updated last year
- ☆16Apr 13, 2025Updated 11 months ago
- ☆16Jul 23, 2024Updated last year
- The BeMoBIL Pipeline is a MATLAB toolbox for analysis and visualization of mobile brain/body imaging data. It includes both wrappers of E…☆54Dec 17, 2024Updated last year
- ☆13Jun 13, 2022Updated 3 years ago
- A simple interface for building .dot graph files.☆19Apr 16, 2021Updated 4 years ago
- Official implementation of the paper: "ActiveVLN: Towards Active Exploration via Multi-Turn RL in Vision-and-Language Navigation"☆50Feb 11, 2026Updated last month
- Reproduction of the paper "TEMPO: Prompt-based Generative Pre-trained Transformer for Time Series Forecasting"☆48Jan 11, 2024Updated 2 years ago
- "Flatten" servant API types☆14Mar 19, 2018Updated 8 years ago
- Graphviz code generation with Haskell☆18Jan 26, 2023Updated 3 years ago
- Generating brain activation maps from free-form text query☆27Oct 23, 2023Updated 2 years ago
- ☆16Nov 12, 2024Updated last year
- THEORY OF SPACE: a benchmark for evaluating whether foundation models can actively explore under partial observability efficiently to bui…☆63Feb 27, 2026Updated 3 weeks ago
- Full-featured haskell bindings for the duckdb database.☆20Oct 22, 2023Updated 2 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year
- Use LabStreamingLayer to handle triggers with PsychoPy.☆28Aug 20, 2021Updated 4 years ago
- CS194-196 Course Project☆14Feb 20, 2025Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Git for "Stepwise Self-Consistent Mathematical Reasoning with Large Language Models"☆12Nov 26, 2024Updated last year
- [TMLR] CoDeC: Communication-Efficient Decentralized Continual Learning☆12Apr 17, 2024Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago