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:
- ☆13Oct 5, 2025Updated 5 months ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Feb 28, 2026Updated last week
- Code for "Zero-Shot Out-of-Distribution Detection with Feature Correlations"☆13Jan 19, 2020Updated 6 years ago
- FollowIR: Evaluating and Teaching Information Retrieval Models to Follow Instructions☆52Jul 3, 2024Updated last year
- textlint plugin to lint MDX☆13Feb 16, 2025Updated last year
- A gh extention for exploring the `ghq list`☆11Jan 13, 2026Updated last month
- ☆10Nov 1, 2019Updated 6 years ago
- ☆11Oct 26, 2021Updated 4 years ago
- A morphosyntactic tagger for Polish based on conditional random fields☆22Apr 6, 2021Updated 4 years ago
- ☆12Jan 29, 2021Updated 5 years ago
- Code and data for experiments on semantic fragments☆11Jun 23, 2022Updated 3 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- ☆15Feb 25, 2024Updated 2 years ago
- Manage local projects initially loaded☆16May 31, 2017Updated 8 years ago
- Graph representations of text☆13Sep 20, 2023Updated 2 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
- Delimited continuations library☆17Nov 8, 2014Updated 11 years ago
- [obsolete] Python interface to Morfeusz☆10Jul 3, 2017Updated 8 years ago
- Flask server for RWKV☆10Apr 3, 2023Updated 2 years ago
- Create network of sci fi novels linked by shared concepts mentioned in the reviews.☆13Sep 25, 2021Updated 4 years ago
- A Scheduling Problem in Prolog☆13Feb 3, 2016Updated 10 years ago
- GitHub Action to update dependencies in Deno projects with hasundue/molt☆13Jun 22, 2025Updated 8 months ago
- SCOTT: Synthesizing Curvature Operations and Topological Tools☆17Oct 22, 2025Updated 4 months ago
- Easily send HTML emails with Golang☆19Dec 19, 2018Updated 7 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- SKK built on Web Technology☆14Dec 14, 2024Updated last year
- ☆13May 23, 2025Updated 9 months ago
- ☆13Jun 21, 2017Updated 8 years ago
- Semantic graph parser based on Categorial grammars☆16Jun 29, 2025Updated 8 months ago
- The opentheory tool processes higher order logic theory packages☆16Mar 21, 2023Updated 2 years ago
- HTML rendering of chapters 5 and 6 of "The Art of the Metaobject Protocol".☆19May 28, 2025Updated 9 months ago
- Application to help generate resume content based on your experience and your interesting job.☆13May 1, 2024Updated last year
- Python tools for Morse Smale Complex analysis and visualization☆14Nov 10, 2021Updated 4 years ago
- A repository for high-quality QASRL data collected from crowd-workers.☆11Aug 10, 2023Updated 2 years ago
- CI's and patches for https://gitlab.com/gnu-clisp/clisp☆10Jul 3, 2025Updated 8 months ago
- Implementation query expansion in semantic meta-search engine. The resulting expansion system is called Wiki-MetaSemantik.☆11Feb 10, 2019Updated 7 years ago
- Tail call optimization for Emacs.☆14Jan 21, 2023Updated 3 years ago
- Generic information for people in the CLU lab☆12Oct 20, 2021Updated 4 years ago