A Python program that tries to prove a statement given a set of propositions in first order logic.
☆10Jul 13, 2015Updated 10 years ago
Alternatives and similar repositories for Automatic-Theorem-Prover
Users that are interested in Automatic-Theorem-Prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Visual Bidirectional Kernelized Network for Visual Question Answering☆11Jul 17, 2017Updated 8 years ago
- reinforce learing☆11Jul 29, 2018Updated 7 years ago
- Baseline Python Scripts for Popular Kaggle Competitions☆17Aug 20, 2022Updated 3 years ago
- Machine learning course from Caltech☆19Mar 23, 2013Updated 13 years ago
- Deep Learning for Question Answering☆21Jul 10, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Exploration of various deep neural networks for Question Answering and Reading Comprehension☆21Jan 22, 2017Updated 9 years ago
- Python based Deep CNN Q-Learner for FOREX☆26Oct 29, 2015Updated 10 years ago
- This is the code for "AI that Dresses Itself" By Siraj Raval on Youtube☆48Nov 19, 2018Updated 7 years ago
- Simple boilerplate with fastify, knex and graphql☆12Jan 11, 2023Updated 3 years ago
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 8 years ago
- A neural network for question answering model☆31Oct 7, 2015Updated 10 years ago
- R packaged for Alpine Linux☆10Dec 10, 2017Updated 8 years ago
- Co-attending Regions and Detections for VQA.☆40Jun 2, 2018Updated 8 years ago
- Caffe implementation of paper: "Bottom-Up and Top-Down Attention for Image Captioning and Visual Question Answering"☆29Oct 24, 2018Updated 7 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.
- Abstractive and Extractive Deep Learning Methods for Text Summarisation☆32Jun 27, 2018Updated 8 years ago
- A Canvas-based pHash Implementation☆12Sep 8, 2024Updated last year
- Based on SciPy's normalized git stats, adapted for Deep Learning frameworks☆16Feb 15, 2017Updated 9 years ago
- Interactive notebook experiment☆19Jun 9, 2023Updated 3 years ago
- RTCPeerConnection wrapper for purists. No dependencies (just ~1.5KB gzipped).☆14Mar 6, 2016Updated 10 years ago
- ☆12Sep 25, 2015Updated 10 years ago
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- HomebrewNLP in JAX flavour for maintable TPU-Training☆50Jan 20, 2024Updated 2 years ago
- An Infr app that helps you replay & talk to everything you've ever seen.☆15Sep 19, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 10 days 10 different practical applications of Deep Learning (primarily NLP) using Tensorflow and Keras☆31Apr 12, 2023Updated 3 years ago
- Cookiecutter template for making a cog for Red.☆12Jun 18, 2024Updated 2 years ago
- meteor + redux = trivia!☆10Dec 7, 2016Updated 9 years ago
- Extract data from text files or log files using regular expressions☆16Feb 27, 2016Updated 10 years ago
- Extract streaming data from text using prefix completion.☆10Oct 6, 2024Updated last year
- ☆13Aug 25, 2017Updated 8 years ago
- Collection filter based on the aldeed:simple-schema structure. It outputs a Mongo Selector based on the chosen options from the UI. It is…☆11May 20, 2016Updated 10 years ago
- A bookshelf plugin which handles relationships.☆22Jun 26, 2026Updated last week
- Stub implementations of Node built-in modules, a la Browserify☆17Sep 15, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Python and C++ library to process both experimental and simulation data of colloidal particles.☆15Sep 2, 2021Updated 4 years ago
- A companion list of tools for my commonplacing☆20Jun 6, 2026Updated 3 weeks ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆12Nov 27, 2023Updated 2 years ago
- Uses a Convolutional Neural Network to detect duplicate questions in the public Quora dataset.☆33Mar 22, 2017Updated 9 years ago
- Automate some common Turo work that I have to do manually☆11Aug 1, 2018Updated 7 years ago
- Streamify helps you easily provide a streaming interface for your code.☆52May 31, 2020Updated 6 years ago
- A generalized state channel implementation for 1 on 1 communication☆18Mar 7, 2019Updated 7 years ago