justindujardin / mathyLinks
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
☆142Updated 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.☆138Updated last year
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy☆94Updated 6 years ago
- Custom Natural Language Processing with big and small models 🌲🌱☆66Updated 4 years ago
- Agents that build knowledge graphs and explore textual worlds by asking questions☆79Updated 2 years ago
- An intelligent, flexible grammar of machine learning.☆82Updated 4 years ago
- Docs☆143Updated 11 months ago
- An ML framework to accelerate research and its path to production.☆268Updated last year
- Functional machine learning for fun☆85Updated 4 years ago
- Vector AI — A platform for building vector based applications. Encode, query and analyse data using vectors.☆318Updated last year
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 2 years ago
- A python module for word inflections designed for use with spaCy.☆93Updated 5 years ago
- Automatically check mismatch between code and comments using AI and ML☆54Updated 4 years ago
- Tools for extracting tables and results from Machine Learning papers☆431Updated 2 years ago
- Code and data accompanying the paper "Approaching nested named entity recognition with parallel LSTM-CRFs."☆27Updated 2 years ago
- Galois is an auto code completer for code editors (or any text editor) based on OpenAI GPT-2.☆92Updated 2 years ago
- classy is a simple-to-use library for building high-performance Machine Learning models in NLP.☆87Updated last month
- 🐍 Python bidding for the Hora Approximate Nearest Neighbor Search Algorithm library☆73Updated 4 years ago
- Create real-time plots in Jupyter Notebooks.☆143Updated 2 years ago
- A word2vec negative sampling implementation with correct CBOW update.☆261Updated 4 years ago
- 💥 Fast matrix-multiplication as a self-contained Python library – no system dependencies!☆229Updated this week
- Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetli…☆158Updated 2 months ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated 2 years ago
- A deep learning library based on Pytorch focussed on low resource language research and robustness☆70Updated 3 years ago
- arXiv plain text extraction☆41Updated 2 years ago
- ☆99Updated 5 years ago
- Document parameters using comments☆10Updated 4 years ago
- ☆40Updated 2 years ago
- Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…☆181Updated 4 years ago
- A Lightweight NLP Data Loader for All Deep Learning Frameworks in Python☆181Updated last year
- Rust python bindings for symspell☆21Updated last year