justindujardin / mathyLinks
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
☆140Updated last year
Alternatives and similar repositories for mathy
Users that are interested in mathy are comparing it to the libraries listed below
Sorting:
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- Confection: the sweetest config system for Python☆187Updated 3 months ago
- Custom Natural Language Processing with big and small models 🌲🌱☆68Updated 3 years ago
- Resolution theorem proving for predicate logic in pure Python.☆95Updated last year
- 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
- An intelligent, flexible grammar of machine learning.☆83Updated 3 years ago
- 🌊 Machine learning dataset loaders for testing and example scripts☆47Updated 3 years ago
- Stand-alone WordNet API☆49Updated 3 years ago
- An ML framework to accelerate research and its path to production.☆266Updated 10 months ago
- Super lightweight function registries for your library☆179Updated last year
- A biologically inspired method to create sparse, binary word vectors☆38Updated 3 years ago
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy☆94Updated 6 years ago
- A lightweight but powerful library to build token indices for NLP tasks, compatible with major Deep Learning frameworks like PyTorch and …☆51Updated 7 months ago
- Logic Programming in Python☆31Updated 3 years ago
- Code and data accompanying the paper "Approaching nested named entity recognition with parallel LSTM-CRFs."☆26Updated 2 years ago
- Agents that build knowledge graphs and explore textual worlds by asking questions☆79Updated last year
- A general purpose processing framework for corpora of scientific documents☆64Updated this week
- ☆30Updated 5 years ago
- Automatically check mismatch between code and comments using AI and ML☆53Updated 4 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- A python module for word inflections designed for use with spaCy.☆92Updated 5 years ago
- ALMa (Active Learning Manager) Keeps track of labeled and unlabeled data for active learning☆41Updated 5 years ago
- arxiv_miner is a toolkit for mining research papers on CS ArXiv.☆136Updated last year
- Code for tweets by @manim_community on twitter☆74Updated 4 years ago
- Rust python bindings for symspell☆19Updated last year
- Test prompts for GPT-J-6B and the resulting AI-generated texts☆53Updated 4 years ago
- Grammar Induction using a Template Tree Approach☆46Updated 2 months ago
- Interface between networkx and manim☆50Updated 4 years ago
- The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.☆55Updated 3 years ago
- A word2vec negative sampling implementation with correct CBOW update.☆261Updated 3 years ago