yakazimir / esslli_neural_symbolicView external linksLinks
Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.
☆18Feb 5, 2025Updated last year
Alternatives and similar repositories for esslli_neural_symbolic
Users that are interested in esslli_neural_symbolic are comparing it to the libraries listed below
Sorting:
- Back end for producing indicators and loading them into the COVIDcast API.☆12Dec 16, 2025Updated 2 months ago
- Code for "Zero-Shot Out-of-Distribution Detection with Feature Correlations"☆13Jan 19, 2020Updated 6 years ago
- Python GUI for differential forms☆12Oct 14, 2023Updated 2 years ago
- Quickdocs API server☆11Sep 20, 2021Updated 4 years ago
- FollowIR: Evaluating and Teaching Information Retrieval Models to Follow Instructions☆52Jul 3, 2024Updated last year
- Generating diverse counterfactual data for Natural Language Understanding tasks using Large Language Models (LLMs). The generator support…☆38Jul 27, 2023Updated 2 years ago
- Candidates listing engine for vim/nvim built on yaegi on golang.☆12Mar 15, 2023Updated 2 years ago
- A Scheduling Problem in Prolog☆12Feb 3, 2016Updated 10 years ago
- A gh extention for exploring the `ghq list`☆11Jan 13, 2026Updated last month
- Delimited continuations library☆17Nov 8, 2014Updated 11 years ago
- A probabilistic CKY parser for PCFGs☆19Mar 12, 2014Updated 11 years ago
- ☆10Oct 7, 2024Updated last year
- Graph representations of text☆13Sep 20, 2023Updated 2 years ago
- Using WASM to write UDFs in Apache Spark☆11Jun 3, 2024Updated last year
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- ☆12Jan 29, 2021Updated 5 years ago
- PureScript + D3 examples☆13Oct 11, 2016Updated 9 years ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- Manage local projects initially loaded☆16May 31, 2017Updated 8 years ago
- ☆10Nov 1, 2019Updated 6 years ago
- SCOTT: Synthesizing Curvature Operations and Topological Tools☆17Oct 22, 2025Updated 3 months ago
- Working folder for Metis bootcamp☆10Sep 14, 2018Updated 7 years ago
- [obsolete] Python interface to Morfeusz☆10Jul 3, 2017Updated 8 years ago
- Easily send HTML emails with Golang☆19Dec 19, 2018Updated 7 years ago
- Create network of sci fi novels linked by shared concepts mentioned in the reviews.☆13Sep 25, 2021Updated 4 years ago
- SKEMA: Scientific Knowledge Extraction and Model Analysis☆12May 17, 2024Updated last year
- An xterm.js addon that provides font ligature support☆14May 4, 2020Updated 5 years ago
- Use mattn/vim-lsp-settings with yegappan/lsp☆12Dec 26, 2025Updated last month
- Flask server for RWKV☆10Apr 3, 2023Updated 2 years ago
- 💫 Industrial-strength Natural Language Processing (NLP) with Python and Cython☆11Nov 11, 2019Updated 6 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- The OpenAPI Specification Repository☆11Jul 12, 2023Updated 2 years ago
- ☆13Jun 21, 2017Updated 8 years ago
- WHATWG streams API for deno☆28Jan 3, 2020Updated 6 years ago
- ☆11Jul 25, 2018Updated 7 years ago
- Gists API Wrapper for Common Lisp☆13Sep 3, 2023Updated 2 years ago
- The Xemime programming language☆13Oct 13, 2020Updated 5 years ago
- ☆14May 7, 2021Updated 4 years ago
- Tail call optimization for Emacs.☆14Jan 21, 2023Updated 3 years ago