First-order logic theorem prover supporting unification with approximate vector similarity
☆13Mar 23, 2023Updated 2 years ago
Alternatives and similar repositories for tensor-theorem-prover
Users that are interested in tensor-theorem-prover are comparing it to the libraries listed below
Sorting:
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 4 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated last week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 5 months ago
- Convert Abstract Meaning Representation (AMR) into first-order logic☆16Aug 7, 2024Updated last year
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- LogicCircuit is a program that helps build/simulate simple circuits using logic gates. It is meant to teach people the basics of how logi…☆10Feb 16, 2026Updated 2 weeks ago
- Course on Metaprogramming☆75Feb 5, 2026Updated 3 weeks ago
- The package 'data-driven density estimation x' (dddex) turns any standard point forecasting model into an estimator of the underlying con…☆10Dec 1, 2025Updated 3 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago
- Pedagogical first-order prover in Python☆81Jun 10, 2025Updated 8 months ago
- A minimal and interpretable Brian2 based DYNAP neuromorphic processor simulator for educational purposes.☆12Jun 23, 2022Updated 3 years ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- My personal site.☆10Feb 23, 2026Updated last week
- Python crossplatform library for Mac/linux and widows os.Complete system command, send alert, notifications, set brightness, recording au…☆11Apr 25, 2025Updated 10 months ago
- Repositório oficial da disciplina de Criatividade Computacional do CIn/UFPE☆12Jul 5, 2025Updated 7 months ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 8 months ago
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- ☆12Dec 20, 2023Updated 2 years ago
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Dec 13, 2025Updated 2 months ago
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆10Aug 7, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Official Implementation of "Learning to Refuse: Towards Mitigating Privacy Risks in LLMs"☆10Dec 13, 2024Updated last year
- This is code for the EMNLP 2022 Paper "UniRPG: Unified Discrete Reasoning over Table and Text as Program Generation".☆10Apr 30, 2023Updated 2 years ago
- BlockCIrculantRNN (LSTM and GRU) using TensorFlow☆14Oct 30, 2018Updated 7 years ago
- Sublime Text 3 plugin for voice coding Python 3☆13Sep 15, 2022Updated 3 years ago
- Supply chain planning using max flow formulated as mixed integer linear programming☆10May 20, 2020Updated 5 years ago
- A machine learning algorithm that estimates the directions of arrival and relative levels of an arbitrary number of sound sources using r…☆12Dec 10, 2022Updated 3 years ago
- ☆12Jan 12, 2024Updated 2 years ago
- ☆12Aug 15, 2023Updated 2 years ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- PyQt application which shows the plotly map☆11Jan 13, 2023Updated 3 years ago
- RSSI-based OFDM signal classification using a machine learning algorithm.☆12May 15, 2018Updated 7 years ago
- An awesome list that curates the best Flet tools, tutorials, blogs and more.☆10Jan 8, 2023Updated 3 years ago