mReasoner is a unified computational implementation of the model theory of thinking and reasoning
☆16Aug 17, 2023Updated 3 years ago
Alternatives and similar repositories for mReasoner
Users that are interested in mReasoner are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Aug 5, 2026Updated 3 weeks ago
- Official Implementation of ACL2023: Don't Parse, Choose Spans! Continuous and Discontinuous Constituency Parsing via Autoregressive Span …☆14Aug 25, 2023Updated 3 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆15Jul 21, 2020Updated 6 years ago
- ☆26Oct 23, 2023Updated 2 years ago
- Code for the ACL 2021 paper "Structural Guidance for Transformer Language Models"☆15Sep 17, 2025Updated 11 months 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.
- [Kauf & Ivanova, ACL 2023] A Better Way to Do Masked Language Model Scoring☆13Dec 1, 2023Updated 2 years ago
- ☆10Mar 5, 2024Updated 2 years ago
- Bayesian Inverse Graphics for Few-Shot Concept Learning☆12Mar 16, 2025Updated last year
- Fine-tuning GPT-2 to generate research paper abstracts☆12Apr 28, 2021Updated 5 years ago
- Keep It Simple Stupid Emacs Splash☆12Sep 10, 2022Updated 3 years ago
- Dataset and pre-trained model of EMNLP-IJCNLP 2019 paper "TalkDown: A Corpus for Condescension Detection in Context."☆10Jan 26, 2020Updated 6 years ago
- Telugu + Latin☆11Apr 29, 2021Updated 5 years ago
- ☆17Apr 25, 2026Updated 4 months ago
- my plugins, macros, ... for Glyphs.App☆12Nov 4, 2025Updated 9 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Repository for the listwise reranker Rank-K☆16May 23, 2025Updated last year
- Source code of ACL2022 "Headed-Span-Based Projective Dependency Parsing" and "Combining (second-order) graph-based and headed-span-based …☆16Jan 12, 2023Updated 3 years ago
- The meta-repository for the Open Mind Common Sense project.☆79Mar 13, 2012Updated 14 years ago
- ☆14Jul 27, 2020Updated 6 years ago
- ☆13Jul 8, 2026Updated last month
- ☆32Jan 7, 2024Updated 2 years ago
- ☆11Apr 9, 2024Updated 2 years ago
- [ACL 2024] Official Repository for "Leveraging Large Language Models for Learning Complex Legal Concepts through Storytelling"☆18Aug 19, 2024Updated 2 years ago
- ☆16Feb 4, 2026Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Generate, Prune, Select: A Pipeline for Counterspeech Generation against Online Hate Speech (ACL-IJCNLP 2021 Findings)☆13Jun 22, 2022Updated 4 years ago
- Code and data for "A fine-grained comparison of pragmatic language understanding in humans and language models"☆12Dec 14, 2022Updated 3 years ago
- code and data associated with CoMPosT: Characterizing and Evaluating Caricature in LLM Simulations☆11Oct 13, 2023Updated 2 years ago
- 200,000+ Sentences about Donald Trump with political bias labels☆18Jun 2, 2020Updated 6 years ago
- Tools for all things related to Combinatory Categorial Grammar☆20Jul 12, 2025Updated last year
- This is a python library module with code to help make working with Soar SML in python easier.☆23Jul 24, 2023Updated 3 years ago
- ☆11Mar 1, 2020Updated 6 years ago
- Code for the arXiv preprint "Answer, Assemble, Ace: Understanding How Transformers Answer Multiple Choice Questions"☆15Aug 2, 2025Updated last year
- ☆13Mar 12, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a webapp that helps you listen to colors, see also the first version here, http://www.synestizer.com allow camera and microphone if promp…☆11Jul 10, 2026Updated last month
- Library to create portal like UIs☆13Mar 9, 2016Updated 10 years ago
- For our EMNLP 2020 paper “Are ‘Undocumented Workers’ the Same as ‘Illegal Aliens’? Disentangling Denotation and Connotation in Vector Spa…☆12Dec 4, 2020Updated 5 years ago
- This repository contains stuff which would be helpful for jailbroken iOS development.☆14Sep 15, 2015Updated 10 years ago
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆44Sep 5, 2023Updated 2 years ago
- NLP with Transformers Study Group Materials & Resources☆11Jun 26, 2023Updated 3 years ago
- ☆13May 25, 2018Updated 8 years ago