Convert Abstract Meaning Representation (AMR) into first-order logic
☆17Aug 7, 2024Updated 2 years ago
Alternatives and similar repositories for amr-logic-converter
Users that are interested in amr-logic-converter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Organized inventory of research using the Abstract Meaning Representation☆41Updated this week
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆11Aug 7, 2024Updated 2 years ago
- SoTA Abstract Meaning Representation (AMR) parsing with word-node alignments in Pytorch. Includes checkpoints and other tools such as sta…☆278Sep 13, 2026Updated last month
- A python library that makes AMR parsing, generation and visualization simple.☆267Mar 10, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code examples for using Akka from JRuby☆13May 7, 2011Updated 15 years ago
- ☆11Mar 5, 2022Updated 4 years ago
- 🐍🍑 Python 3 library for managing, annotating, and converting natural language corpuses using popular formats (CoNLL, ELAN, Praat, CSV, …☆22Jun 26, 2024Updated 2 years ago
- A Swag Toggle for React Native and Expo Web☆14Jul 18, 2023Updated 3 years ago
- ☆15Updated this week
- Steering Vector Repo from "Extracting Latent Steering Vectors from Pretrained Language Models" - ACL2022 Findings☆11Mar 14, 2022Updated 4 years ago
- A python library / model for creating co-references between AMR graph nodes.☆11Dec 11, 2022Updated 3 years ago
- From pixels to symbolic rule learning☆13Nov 12, 2021Updated 4 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Jun 23, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A python package of common operations for AMRs☆30Jun 7, 2022Updated 4 years ago
- ☆12Jun 30, 2022Updated 4 years ago
- Android, BrainLink Pro, BrainLink Lite, EEG data stream. Third-party developers can utilize the tools in this repository to implement rea…☆12Apr 2, 2026Updated 6 months ago
- Code and model checkpoints for the MultiVerS model for scientific claim verification.☆54Aug 16, 2023Updated 3 years ago
- ESLint rule for restricting imports to path aliases☆22May 4, 2024Updated 2 years ago
- Towards an implementation of hierarchical temporal memory and the cortical learning algorithm by Jeff Hawkins and Dileep George of Nument…☆12Mar 15, 2017Updated 9 years ago
- Elevate your language models with insightful diversity metrics.☆11Feb 4, 2024Updated 2 years ago
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆10Apr 30, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The official code and dataset for EMNLP 2022 paper "COPEN: Probing Conceptual Knowledge in Pre-trained Language Models".☆21Mar 9, 2023Updated 3 years ago
- Visual programming language: SKetches of Abstract Syntax Trees. I. C.☆10Jan 14, 2022Updated 4 years ago
- A basic implementation of a Kohonen map in JavaScript☆12Dec 9, 2022Updated 3 years ago
- Deep relational learning through differentiable logic programming.☆122Oct 1, 2026Updated 2 weeks ago
- Official code repository for Findings of EMNLP 2022 paper: PseudoReasoner: Leveraging Pseudo Labels for Commonsense Knowledge Base Popula…☆11Oct 18, 2022Updated 4 years ago
- a piecemeal natural language processing library☆13Dec 31, 2025Updated 9 months ago
- Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics inte…☆243Dec 18, 2023Updated 2 years ago
- A set of methods for finding an appropriate number of topics in a text collection☆15Apr 13, 2026Updated 6 months ago
- 🗜 A bloom filter implementation in Ruby and Javascript that is serialisable to JSON and compatible between both languages.☆15Jan 28, 2013Updated 13 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.
- Extension of the SentenceSimplification project☆61Mar 31, 2025Updated last year
- TRITONCACHE implementation of a Redis cache☆18Oct 8, 2026Updated last week
- [COLING22] Text-to-Text Extraction and Verbalization of Biomedical Event Graphs☆10Nov 5, 2022Updated 3 years ago
- Hypergraph implementation in javascript☆12Apr 7, 2011Updated 15 years ago
- Attempt to guess requirements.txt modules versions based on Git history☆22Jul 30, 2021Updated 5 years ago
- Hyperedge replacement grammar parser and generator☆11Dec 19, 2016Updated 9 years ago
- Generates types and co for pocketbase cms☆11Nov 4, 2023Updated 2 years ago