Official repository for paper "In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models" in Findings of EMNLP 2024
☆13Jan 10, 2026Updated 9 months ago
Alternatives and similar repositories for LLM-A-Not-B-Errors
Users that are interested in LLM-A-Not-B-Errors are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 interface to Eigen☆12Dec 13, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Synthetic data generation for evaluating LLM symbolic and logic reasoning☆23Aug 13, 2026Updated 2 months ago
- ☆21Apr 21, 2026Updated 6 months ago
- All-in-one autonomous development workflow skill for Claude Code with self-learning capability☆43Aug 18, 2026Updated 2 months 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.
- [TMLR 2026]: "FusionFactory: Fusing LLM Capabilities with Routing Data", Tao Feng, Haozhen Zhang, Zijie Lei, Pengrui Han, Mostofa Patwary…☆23Dec 30, 2025Updated 9 months ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- ☆17Jul 2, 2025Updated last year
- ☆11Nov 11, 2022Updated 3 years ago
- [CVPR 2026, Highlight ✨] Same or Not? Enhancing Visual Perception in Vision-Language Models☆17Jun 12, 2026Updated 4 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- [ICML26] The Personality Illusion: Revealing Dissociation Between Self-Reports & Behavior in LLMs.☆74Jun 23, 2026Updated 4 months ago
- A curated resource for interactive evaluation: framework, taxonomy, design principles, and benchmark collection.☆24May 22, 2026Updated 5 months ago
- This repo hosts the code for the Fast Trainable Projection (FTP) project.☆12Nov 16, 2023Updated 2 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.
- ☆36May 25, 2023Updated 3 years ago
- A great project for me to get familiar with async Rust! Chating with other people throught terminal is mad fun!☆16Feb 8, 2025Updated last year
- A minesweeper solver in Python☆17Dec 4, 2020Updated 5 years ago
- ☆15Oct 3, 2026Updated 3 weeks ago
- Code and data for Marked Personas (ACL 2023)☆30May 26, 2023Updated 3 years ago
- An AI agent for convert nature language to shell or python command and search paper for you☆23Sep 29, 2026Updated last month
- Multi-Modal Tree of thoughts for DALLE-3 like auto self improvement☆17Nov 11, 2024Updated last year
- ☆19Jan 29, 2026Updated 9 months ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆20Jul 10, 2026Updated 3 months 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.
- ArtifactLinker: Linking Scientific Artifacts for Automatic State-of-the-Art Discovery☆43Jul 20, 2026Updated 3 months ago
- ☆20Jun 28, 2026Updated 4 months ago
- ☆23Jan 14, 2026Updated 9 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- ☆16Jul 2, 2022Updated 4 years ago
- Open-source MCP for financial ontology☆24Sep 23, 2026Updated last month
- Evaluate robustness of adaptation methods on large vision-language models☆19Aug 23, 2023Updated 3 years ago
- [TMLR 2026] "Thought-Retriever: Don’t Just Retrieve Raw Data, Retrieve Thoughts for Memory-Augmented Agentic Systems", Tao Feng, Pengrui …☆43Apr 18, 2026Updated 6 months ago
- ☆12Jun 17, 2020Updated 6 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.
- TeamCity runner for tSQLt tests☆29Sep 9, 2021Updated 5 years ago
- Sample app using 500px api☆28Jul 4, 2016Updated 10 years ago
- A software for transferring pre-trained English models to foreign languages☆19Mar 20, 2023Updated 3 years ago
- Inverse Tiling of 2D Finite Domains (Siggraph Asia 2025)☆29Jun 15, 2026Updated 4 months ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 5 years ago
- ☆32Jun 10, 2025Updated last year
- ☆27Mar 9, 2026Updated 7 months ago