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