Autonomous Theorem Prover for First Order Predicate Logic
☆12Jun 29, 2020Updated 5 years ago
Alternatives and similar repositories for first-order-predicate-logic-theorem-prover
Users that are interested in first-order-predicate-logic-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:
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- A Python program that tries to prove a statement given a set of propositions in first order logic.☆10Jul 13, 2015Updated 10 years ago
- matter-js springs plugin☆11Apr 27, 2018Updated 7 years ago
- You're one command away from deploying your Streamlit app on AWS Fargate!☆48Mar 24, 2021Updated 5 years ago
- 极光推送Golang客户端，支持异步发送队列☆13Oct 9, 2019Updated 6 years ago
- 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.
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- vue可视化配置echarts图表编辑器☆11Nov 2, 2020Updated 5 years ago
- Asset exporter tools for Oryol engine☆10May 12, 2020Updated 5 years ago
- simple rollback mechanism made with unity☆14Mar 28, 2021Updated 5 years ago
- Examples of using LMAX Disruptor in a Java program☆10Oct 10, 2018Updated 7 years ago
- GTA(Go Task Async) is a lightweight reliable asynchronous task and transaction message library for Golang / GTA是一个轻量的可靠异步任务和事务消息的框架☆14May 19, 2021Updated 4 years ago
- Implementation of the paper "Improving the Accuracy-Robustness Trade-off of Classifiers via Adaptive Smoothing".☆10Feb 6, 2024Updated 2 years ago
- python programs and procedures that facilitate local application of the earth2observe global water resources reanalysis☆10Nov 21, 2017Updated 8 years ago
- ☆11Jul 1, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Fast extraction of all external links from wikipedia☆13Sep 22, 2018Updated 7 years ago
- The code for paper "ProQA: Structural Prompt-based Pre-training for Unified Question Answering"☆11Feb 7, 2023Updated 3 years ago
- APUE(Unix环境高级编程)例子Golang版实现☆18Nov 30, 2015Updated 10 years ago
- Yet Another Efficient Unification Algorithm☆28Oct 10, 2025Updated 5 months ago
- opentqa is a open framework of the textbook question answering, which includes xtqa, mcan, cmr, mfb, mutan.☆11Mar 27, 2021Updated 5 years ago
- Official implementation of the paper "ALTER: Augmentation for Large-Table-Based Reasoning"☆15Aug 26, 2024Updated last year
- JigLib rigid body physics engine☆12Feb 10, 2022Updated 4 years ago
- Convert custom sql like dsl query to es query☆12Feb 27, 2020Updated 6 years ago
- Simple demo of Spring Security + Facebook Login☆11Mar 10, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- code for the table-based open domain question answering project, with paper title: "Reasoning over Hybrid Chain for Table-and-Text Open D…☆12Sep 16, 2022Updated 3 years ago
- Lucene fields and queries for interval fields.☆37Dec 23, 2015Updated 10 years ago
- Py implementation of incremental Density-based spatial clustering of applications with noise☆12Jul 1, 2018Updated 7 years ago
- Dataset and model in the paper "SciXGen: A Scientific Paper Dataset for Context-Aware Text Generation"☆13Feb 14, 2022Updated 4 years ago
- Example app for Contentful in Java☆10Jan 18, 2023Updated 3 years ago
- Java library for financial technical analysis with multiple technical indicators☆11Feb 11, 2023Updated 3 years ago
- Data and code for ACL 2023 paper "RobuT: A Systematic Study of Table QA Robustness Against Human-Annotated Adversarial Perturbations"☆15Feb 8, 2024Updated 2 years ago
- 3D Engine written in C++11 (LLVM compatible) using OpenGL ES, GLFW, GLM and OpenCL.☆16Jan 27, 2016Updated 10 years ago
- The official data and code for EMNLP 2023 main conference paper: CRT-QA: A Dataset of Complex Reasoning Question Answering over Tabular D…☆13May 19, 2025Updated 10 months ago
- 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.
- code for the NAACL 2021 paper Compositional Generalization for Neural Semantic Parsing via Span-level Supervised Attention by Microsoft S…☆12Apr 21, 2023Updated 2 years ago
- Script for merging LaTeX files and stripping comments, in preparation for submission to ArXiV☆11May 23, 2014Updated 11 years ago
- A simple rules engine in Spring-Boot and Nashorn☆13Jul 4, 2018Updated 7 years ago
- ☆15Nov 24, 2013Updated 12 years ago
- A list of Numerical Multimodal reasoning papers and their implementation☆11May 13, 2024Updated last year
- [EMNLP'2023 Findings] MoqaGPT, for zero-shot multimodal question answering with LLMs☆13Dec 28, 2024Updated last year
- CTE: Contextualized Table Extraction Dataset☆17Feb 23, 2023Updated 3 years ago