Resources for Tutorial on Neuro-Symbolic Representations for IR
☆15Jul 23, 2023Updated 3 years ago
Alternatives and similar repositories for neurosymbolic-representations-for-IR
Users that are interested in neurosymbolic-representations-for-IR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Systematic Review Query Visualisation and Understanding Interface☆17Dec 5, 2025Updated 9 months ago
- ☆21Jul 11, 2022Updated 4 years ago
- Reading list for multimodal learning in healthcare☆11Oct 9, 2023Updated 2 years ago
- Information Retrieval Relevance Judging System☆29Jan 17, 2022Updated 4 years ago
- ☆15Apr 30, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple, well-documented, pedagogical deep learning framework implemented entirely in Python☆12Sep 27, 2020Updated 5 years ago
- ↕️ Intuitive axiomatic retrieval experimentation.☆31Aug 11, 2026Updated 3 weeks ago
- ☆10Jul 23, 2021Updated 5 years ago
- Dataset from Tip of the Tongue Known-Item Retrieval (2021) paper.☆12Nov 4, 2021Updated 4 years ago
- ☆26Aug 23, 2024Updated 2 years ago
- ☆39Nov 21, 2022Updated 3 years ago
- The source code to reproduce the results reported in the 'Federated Online Learning to Rank with Evolution Strategies' paper, published a…☆32Aug 30, 2021Updated 5 years ago
- Work in progress☆19Jan 22, 2026Updated 7 months ago
- End-to-end training of Retrieval-Augmented LMs (REALM, RAG)☆23Nov 22, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ECIR'21: Simplified TinyBERT: Knowledge Distillation for Document Retrieval☆17Apr 25, 2021Updated 5 years ago
- Tools for scraping, annotating, and parsing morphological information from Wiktionary☆15Oct 19, 2019Updated 6 years ago
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 3 years ago
- ProofNet dataset ported into Lean 4☆31Jun 9, 2025Updated last year
- Cocktail: A Comprehensive Information Retrieval Benchmark with LLM-Generated Documents Integration☆15Jun 4, 2024Updated 2 years ago
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated last year
- ☆13Jun 21, 2017Updated 9 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A toolkit for asynchronously validating dense retriever checkpoints during training.☆27Aug 10, 2023Updated 3 years ago
- [ICML2022] "Identity-Disentangled Adversarial Augmentation for Self-Supervised Learning"☆10Jul 24, 2022Updated 4 years ago
- Unofficial implementation of paper : Exploring the Space of Key-Value-Query Models with Intention☆12May 24, 2023Updated 3 years ago
- ☆11Jul 25, 2020Updated 6 years ago
- This is the python program which performs text summarization with pronoun replacement method. This method initially identifies pronouns i…☆10Dec 5, 2018Updated 7 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Aug 28, 2026Updated last week
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 4 years ago
- ☆32Apr 14, 2023Updated 3 years ago
- Code search model based the self-attention☆12Oct 16, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- ☆14Jan 10, 2021Updated 5 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Jul 4, 2019Updated 7 years ago
- Toy O☆16Sep 21, 2024Updated last year
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 2 months ago
- ☆13Nov 30, 2022Updated 3 years ago
- ☆12Nov 14, 2021Updated 4 years ago