Character-based seq2seq models (english => predicate logic)
☆16Dec 26, 2020Updated 5 years ago
Alternatives and similar repositories for text2log
Users that are interested in text2log are comparing it to the libraries listed below
Sorting:
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- ☆30Jun 20, 2024Updated last year
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- Python implementation of the Huffman Code compression algorithm.☆14Apr 18, 2013Updated 12 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Dec 16, 2025Updated 2 months ago
- Example implementation of https://github.com/bmoers/sn-cicd V3☆11Oct 4, 2019Updated 6 years ago
- ☆40Nov 14, 2022Updated 3 years ago
- Arduino SIM5218E GPS Project☆11Mar 8, 2015Updated 10 years ago
- Experimental webapp for creating music using graphs☆21Aug 27, 2015Updated 10 years ago
- Literature Review/ Summary of methods for extraction of causal relations from text☆10Oct 6, 2021Updated 4 years ago
- create concept map from textbook data☆11May 4, 2018Updated 7 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- ☆11May 3, 2019Updated 6 years ago
- Manager for remote ~/.ssh/authorized_keys☆13Mar 20, 2013Updated 12 years ago
- The code of Paper "Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text".☆48Mar 2, 2023Updated 3 years ago
- Creative Instructions Project☆11Sep 4, 2023Updated 2 years ago
- The official code of TACL 2022, "Break, Perturb, Build: Automatic Perturbation of Reasoning Paths Through Question Decomposition".☆11Oct 18, 2021Updated 4 years ago
- A demo of Flush-Reload style Side-channel attack.☆10Feb 20, 2019Updated 7 years ago
- ☆10Jul 8, 2015Updated 10 years ago
- Open Source HTTP Requests Inspection Platform☆14Aug 3, 2024Updated last year
- Code for "Unsupervised Enrichment of Persona-grounded Dialog with Background Stories", ACL 2021☆10Jul 8, 2021Updated 4 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- WISEBED Wireless Sensor Network Testbed Infrastructure Software☆15Jul 21, 2015Updated 10 years ago
- Automated test generator to detectcache side channel leakages.☆11Jul 1, 2019Updated 6 years ago
- Suite with test programs to evaluate your lora node-gateway setup☆10Dec 22, 2015Updated 10 years ago
- SKEMA: Scientific Knowledge Extraction and Model Analysis☆12May 17, 2024Updated last year
- first publish☆12Nov 6, 2014Updated 11 years ago
- Tree-sitter parser template☆20Dec 21, 2025Updated 2 months ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated last month
- ☆13Jun 21, 2017Updated 8 years ago
- KDD 2024 AQA competition 2nd place solution☆12Jul 21, 2024Updated last year
- An open-source object repository.☆20Mar 21, 2016Updated 9 years ago
- The OpenAPI Specification Repository☆11Jul 12, 2023Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Oct 23, 2025Updated 4 months ago
- GeneSis is the first generative approach for lexical substitution (EMNLP 2021).☆12Jul 25, 2023Updated 2 years ago
- Python binding for NuSMV.☆11Nov 29, 2017Updated 8 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- A path to Programming Language Theory enlightenment☆12Apr 13, 2016Updated 9 years ago