Solving Logic Grid Puzzles with Part-of-Speech Tagging and First-Order Logic
☆11Dec 18, 2016Updated 9 years ago
Alternatives and similar repositories for LogicSolver
Users that are interested in LogicSolver are comparing it to the libraries listed below
Sorting:
- zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".☆16Feb 25, 2026Updated last week
- Logic grid puzzle ("zebra puzzle") generator and solver☆30Mar 1, 2024Updated 2 years ago
- ☆12Sep 22, 2015Updated 10 years ago
- Edge Impulse FOMO Implementation from scratch☆18Updated this week
- SKFAC Preconditioner for MindSpore☆12Jul 2, 2021Updated 4 years ago
- Alcazar puzzle solver☆11Mar 31, 2015Updated 10 years ago
- Cluster paraphrases by word sense☆12Jan 3, 2019Updated 7 years ago
- Enhancing Sentence Embedding with Generalized Pooling☆11Jul 26, 2018Updated 7 years ago
- Implementation of Semi-AE-Rec (ICONIP 2017)☆11Aug 10, 2018Updated 7 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- A word puzzle solver for Wordle, Boggle, WordzUp, wordoid and more.☆12May 29, 2022Updated 3 years ago
- a website to share and find Age of Empires II Random Map Scripts☆13Nov 12, 2024Updated last year
- Unofficial implementation of the Ask-LLM paper 'How to Train Data-Efficient LLMs', arXiv:2402.09668.☆12Jun 19, 2024Updated last year
- [NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems☆15Jul 29, 2024Updated last year
- Natural Perturbation for Robust Question Answering☆12Apr 7, 2020Updated 5 years ago
- lime-ner: extending LIME for Named Entity Recognition☆10Aug 15, 2018Updated 7 years ago
- Library for creating card games in general.☆10Aug 10, 2024Updated last year
- This repository collects notebooks for the course☆14Jan 19, 2026Updated last month
- A python library for easily querying morphological inflection models trained on Unimorph☆13Oct 23, 2022Updated 3 years ago
- The (hopefully) easiest to use animation library for React for interactive applications.☆12Jan 7, 2023Updated 3 years ago
- Repo collects Homework code for DSCI552/INF552 @USC 20Fall Semester.☆14Nov 27, 2020Updated 5 years ago
- Generalized Method of Moments estimation☆13Mar 23, 2025Updated 11 months ago
- AlgorithmX Problems and Solvers☆14Jan 15, 2025Updated last year
- The Shifted and The Overlooked: A Task-oriented Investigation of User-GPT Interactions (EMNLP 2023))☆13Dec 21, 2023Updated 2 years ago
- SAT-based generator for Alcazar puzzles☆11Jun 7, 2024Updated last year
- Lecture notes for CSC2421☆10Jan 8, 2023Updated 3 years ago
- Effective Attention Sheds Light On Interpretability - Findings of ACL2021☆11May 16, 2021Updated 4 years ago
- ☆12Oct 23, 2018Updated 7 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- ☆10Apr 28, 2021Updated 4 years ago
- content.rdf.u8.gz☆10Dec 15, 2020Updated 5 years ago
- Implementation of ICLR 2020 paper "Revisiting Self-Training for Neural Sequence Generation"☆46Jun 30, 2022Updated 3 years ago
- ☆14Apr 6, 2014Updated 11 years ago
- Quick reachability using zonotopes.☆11May 25, 2020Updated 5 years ago
- Knowledge Graph based Question Answering benchmark.☆10Feb 1, 2020Updated 6 years ago
- Generate crossword puzzles with GPT-3☆12Jan 15, 2024Updated 2 years ago
- Converts Quora's new NLU dataset to SNLI txt/jsonl format, plus test/dev split, tokenization.☆14Jan 27, 2017Updated 9 years ago
- mailwizz-python-sdk☆11Apr 18, 2024Updated last year
- Data and Code for Paper "Reflect Not Reflex: Inference-Based Common Ground Improves Dialogue Response Quality" (EMNLP 2022)☆11Nov 28, 2022Updated 3 years ago