justindujardin / mathyLinks
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
☆143Updated last year
Alternatives and similar repositories for mathy
Users that are interested in mathy are comparing it to the libraries listed below
Sorting:
- arxiv_miner is a toolkit for mining research papers on CS ArXiv.☆137Updated last year
- Custom Natural Language Processing with big and small models 🌲🌱☆68Updated 3 years ago
- An intelligent, flexible grammar of machine learning.☆83Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆97Updated last year
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy☆94Updated 6 years ago
- Functional machine learning for fun☆85Updated 4 years ago
- Reinforcement learning in TensorFlow 2☆22Updated 3 years ago
- Agents that build knowledge graphs and explore textual worlds by asking questions☆79Updated 2 years ago
- 🐍 Python bidding for the Hora Approximate Nearest Neighbor Search Algorithm library☆72Updated 3 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 2 years ago
- A Domain Specific Language (DSL) for building language patterns. These can be later compiled into spaCy patterns, pure regex, or any othe…☆68Updated 2 years ago
- 🌊 Machine learning dataset loaders for testing and example scripts☆47Updated 3 years ago
- A python module for word inflections designed for use with spaCy.☆93Updated 5 years ago
- ALMa (Active Learning Manager) Keeps track of labeled and unlabeled data for active learning☆42Updated 5 years ago
- Code and data accompanying the paper "Approaching nested named entity recognition with parallel LSTM-CRFs."☆27Updated 2 years ago
- Docs☆143Updated 9 months ago
- A curated list of ML awesome frameworks & libraries for text data☆16Updated 2 years ago
- arXiv plain text extraction☆41Updated 2 years ago
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- Galois is an auto code completer for code editors (or any text editor) based on OpenAI GPT-2.☆94Updated 2 years ago
- https://sharedtask.duolingo.com☆50Updated 5 years ago
- classy is a simple-to-use library for building high-performance Machine Learning models in NLP.☆87Updated 4 months ago
- The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.☆55Updated 3 years ago
- A utility for labeling clusters of text data.☆28Updated 4 years ago
- Tools for extracting tables and results from Machine Learning papers☆426Updated 2 years ago
- Black box hyperparameter optimization made easy.☆75Updated 2 years ago
- ☆108Updated 2 years ago
- Logic Programming in Python☆31Updated 3 years ago
- A word2vec negative sampling implementation with correct CBOW update.☆260Updated 3 years ago
- A runtime shape checker and auto-annotator for tensor programs (pronounced "stanley")☆40Updated 5 years ago