Convert Abstract Meaning Representation (AMR) into first-order logic
☆17Aug 7, 2024Updated last year
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☆13Mar 23, 2023Updated 3 years ago
- Organized inventory of research using the Abstract Meaning Representation☆40Mar 23, 2026Updated 3 weeks ago
- PENMAN notation (e.g. AMR) in Python☆150Mar 30, 2026Updated 2 weeks ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- A tutorial and trained model that can identify Aboriginal flags in images using PyTorch and Detecto☆11Oct 19, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A low-level client for accessing DynamoDB from node.js☆27Jul 6, 2018Updated 7 years ago
- A resume.json vanilla web component☆10May 16, 2021Updated 4 years ago
- Embed your resume summary into your website.☆16Apr 18, 2015Updated 11 years ago
- Use AI to ensure your resume passes ATS keyword screening.☆11Mar 27, 2024Updated 2 years ago
- CLI tool to build a beautiful resume from a JSON Resume file☆11Mar 8, 2023Updated 3 years ago
- The dataset consists of public social media url pairs and the corresponding entailment label for an external conference (ACL 2021). Each …☆14Aug 16, 2021Updated 4 years ago
- DEPRECATED. A "type-safe" HTML DSL for JavaScript environments.☆12Mar 22, 2016Updated 10 years ago
- negate_sentence(A Python module that doesn't negate sentences.)☆31Oct 13, 2024Updated last year
- Steering Vector Repo from "Extracting Latent Steering Vectors from Pretrained Language Models" - ACL2022 Findings☆11Mar 14, 2022Updated 4 years 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.
- 🐍🍑 Python 3 library for managing, annotating, and converting natural language corpuses using popular formats (CoNLL, ELAN, Praat, CSV, …☆21Jun 26, 2024Updated last year
- Legacy JSONResume Iconify, colors, PDF☆14Dec 26, 2025Updated 3 months ago
- ☆18Aug 1, 2023Updated 2 years ago
- An API and headless CMS for your personal site & CV☆20Apr 8, 2026Updated last week
- A python library / model for creating co-references between AMR graph nodes.☆11Dec 11, 2022Updated 3 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Jun 23, 2020Updated 5 years ago
- A python package of common operations for AMRs☆30Jun 7, 2022Updated 3 years ago
- Code and model checkpoints for the MultiVerS model for scientific claim verification.☆54Aug 16, 2023Updated 2 years ago
- ☆17Jul 9, 2025Updated 9 months 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.
- Expletives vomiting library...☆13Apr 17, 2017Updated 9 years ago
- DEPRECATED - SEE MONO REPO -☆18Nov 16, 2023Updated 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
- The official code and dataset for EMNLP 2022 paper "COPEN: Probing Conceptual Knowledge in Pre-trained Language Models".☆21Mar 9, 2023Updated 3 years ago
- Official codebase for "Analyzing the Generalization and Reliability of Steering Vectors"☆20Dec 14, 2024Updated last year
- ☆14Sep 21, 2023Updated 2 years ago
- ☆276Jul 11, 2024Updated last year
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Exclude inherited members from a Typedoc class using @noInheritDoc annotation☆20Apr 7, 2026Updated last week
- ☆28Nov 28, 2024Updated last year
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆11Apr 30, 2024Updated last year
- Resume of Thomas Davis☆66May 7, 2024Updated last year
- Open-source, knowledge-grounded conversational assistant☆14Jun 30, 2025Updated 9 months ago
- Character-based seq2seq models (english => predicate logic)☆16Dec 26, 2020Updated 5 years ago
- TypeScript AI "code mode" toolkit with permissions and search☆63Feb 26, 2026Updated last month