Analyzing and scoring reasoning traces of LLMs
☆47Sep 1, 2024Updated 2 years ago
Alternatives and similar repositories for logikon
Users that are interested in logikon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Awesome deliberative prompting: How to ask LLMs to produce reliable reasoning and make reason-responsive decisions.☆123Feb 3, 2025Updated last year
- A framework for evaluating the effectiveness of chain-of-thought reasoning in language models.☆19Feb 6, 2025Updated last year
- Spitzers Architecture School Urban Lab for Unit 26. This repository explores designing and codifying urban systems from the bottom up in …☆14Mar 29, 2022Updated 4 years ago
- Create and analyze argument graphs and serialize them via Protobuf☆11Updated this week
- A Simple Argument Mining Library☆13Apr 27, 2024Updated 2 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.
- ☆11Aug 6, 2025Updated last year
- Code and data for experiments on semantic fragments☆11Jun 23, 2022Updated 4 years ago
- LMQL implementation of tree of thoughts☆36Jan 31, 2024Updated 2 years ago
- HELP: a dataset for Handling Entailments with Lexical and logical Phenomena (Ver.1.0)☆15Jul 20, 2023Updated 3 years ago
- Implementation of scheme in python supporting call/cc and hygenic macros☆16Sep 12, 2015Updated 11 years ago
- Neural machine translation implementation using dynet's python bindings☆17Jan 24, 2018Updated 8 years ago
- Code for the paper "Critical Thinking for Language Models"☆13Jun 1, 2021Updated 5 years ago
- Export a ChatGPT account (incl. business/Team) to a local searchable offline archive - conversations, files, and a single-file HTML viewe…☆93Jul 24, 2026Updated 2 months ago
- LLM4HWDesign Starting Toolkit☆20Oct 4, 2024Updated 2 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.
- PyPSDD porting to Python 3 + PyTorch equivalent tree construction.☆15Jun 7, 2023Updated 3 years ago
- The Python PSDD Package☆18Jul 20, 2025Updated last year
- A class to fetch results from Google Ngrams Viewer and return them as pandas dataframes☆13Sep 19, 2014Updated 12 years ago
- Reasoning by Communicating with Agents☆30Apr 29, 2025Updated last year
- ☆14May 7, 2021Updated 5 years ago
- Learning to route instances for Human vs AI Feedback (ACL Main '25)☆30Jul 23, 2025Updated last year
- Code for generating Quasimodo, a commonsense knowledge base.☆20Sep 14, 2021Updated 5 years ago
- a simple programming language under development☆11Dec 3, 2023Updated 2 years ago
- Tools for consuming and generating podcasts☆18Updated this week
- 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.
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated 2 weeks ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- Distributional Formal Semantics (DFS) tools☆19Oct 17, 2022Updated 4 years ago
- ☆11Dec 9, 2024Updated last year
- A Data Source for Reasoning Embodied Agents☆20Sep 18, 2023Updated 3 years ago
- A multi-table synthetic data generator based on OpenAI’s GPT-3 APIs☆11Dec 15, 2022Updated 3 years ago
- Python package for compressing floating-point PyTorch tensors☆14Jul 22, 2024Updated 2 years ago
- agent tui in a web gui☆22Aug 18, 2026Updated last month
- Interface for reading the Paraphrase Database (PPDB)☆25Mar 14, 2018Updated 8 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.
- An attentional NMT model in Dynet☆26Dec 5, 2018Updated 7 years ago
- Distributed data sync using trimerge☆11Mar 26, 2024Updated 2 years ago
- Code and data corresponding to "Hypothesis Only Baselines in Natural Language Inference" (StarSem 2018)☆25Dec 8, 2022Updated 3 years ago
- A repository of Juris-M style modules☆17Sep 30, 2026Updated 2 weeks ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 8 months ago
- This is a simple GUI made for the chat-miner library.☆13Jan 5, 2024Updated 2 years ago
- swiss☆13Sep 11, 2026Updated last month