AutoMATES: Automated Model Assembly from Text, Equations, and Software
☆25Sep 18, 2023Updated 2 years ago
Alternatives and similar repositories for automates
Users that are interested in automates are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SKEMA: Scientific Knowledge Extraction and Model Analysis☆12May 17, 2024Updated last year
- Machine reading system for World Modelers☆36Feb 13, 2024Updated 2 years ago
- ☆10May 21, 2021Updated 4 years ago
- Small examples showing how to use Odin for various IE tasks☆16Jun 1, 2017Updated 8 years ago
- ☆21Jul 15, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆13Nov 1, 2024Updated last year
- A simple heapless command line interface parser for embedded devices☆16Mar 15, 2019Updated 7 years ago
- Implementation of multi-armed bandits in Julia☆12Jan 12, 2020Updated 6 years ago
- ☆13Jun 21, 2017Updated 8 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- A Python library for creating digital sound.☆13Sep 22, 2024Updated last year
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 3 years ago
- ☆15Apr 29, 2021Updated 4 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- active version of the website for newhaven.io built on the Jekyll framework☆13Dec 9, 2022Updated 3 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- Scala interfaces to huggingface transformers and tokenizers☆13Mar 31, 2026Updated last week
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆135Sep 8, 2022Updated 3 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Jul 4, 2019Updated 6 years ago
- The OpenAPI Specification Repository☆11Jul 12, 2023Updated 2 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- ☆18Sep 21, 2023Updated 2 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Apr 2, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Logic Circuits from the Juice library☆50Jun 15, 2024Updated last year
- ☆30Jun 20, 2024Updated last year
- Uncertain natural language inference☆15Jun 12, 2023Updated 2 years ago
- A library of tools for compiler construction.☆13May 18, 2016Updated 9 years ago
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Jun 8, 2015Updated 10 years ago
- Octave/Matlab toolbox for network analysis – part of the KONECT project by Jérôme Kunegis, University of Namur☆26Feb 26, 2023Updated 3 years ago
- ☆23Jun 6, 2025Updated 10 months ago
- IPython notebook with synthetic experiments for AFLite, based on the ICML 2020 paper, "Adversarial Filters of Dataset Biases".☆16Aug 14, 2020Updated 5 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- A Workbench for Autograding Retrieve/Generate Systems☆15Jun 30, 2025Updated 9 months ago
- Experimentation code for the article "Building Topic Models Based on Anchor Words" based on the paper "Learning Topic Models: Going beyon…☆15May 13, 2014Updated 11 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- Spore is a SIP client for android. With one click setup for free TLS/ZRTP calling on mycelial's truffle network.☆23Mar 7, 2013Updated 13 years ago
- ☆15Apr 16, 2021Updated 4 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated 2 years ago