justindujardin / mathyLinks
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
☆137Updated 11 months ago
Alternatives and similar repositories for mathy
Users that are interested in mathy are comparing it to the libraries listed below
Sorting:
- A python module for word inflections designed for use with spaCy.☆92Updated 5 years ago
- A lightweight Python library for constructing, processing, and visualizing constituent trees.☆66Updated 4 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
- The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.☆55Updated 2 years ago
- Super lightweight function registries for your library☆179Updated last year
- classy is a simple-to-use library for building high-performance Machine Learning models in NLP.☆87Updated 2 months ago
- 💫 SpaCy wrapper for ConceptNet 💫☆93Updated last year
- An intelligent, flexible grammar of machine learning.☆83Updated 3 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Robust and Fast tokenizations alignment library for Rust and Python https://tamuhey.github.io/tokenizations/☆192Updated last year
- A visualisation tool for Spacy using Hierplane.☆65Updated 2 years ago
- Grammar Induction using a Template Tree Approach☆46Updated last month
- Jupyter Widget for data annotation☆139Updated 2 years ago
- Official Repository of the Magnum Project☆60Updated 4 years ago
- 🧪 Cutting-edge experimental spaCy components and features☆99Updated last year
- allennlp + streamlit demo☆22Updated 5 years ago
- Resolution theorem proving for predicate logic in pure Python.☆94Updated last year
- Locality Sensitive Hashing☆71Updated last year
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆130Updated 2 years ago
- Interactive Model Iteration with Weak Supervision and Pre-Trained Embeddings☆77Updated 2 years ago
- Augmenty is an augmentation library based on spaCy for augmenting texts.☆155Updated 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
- ☆70Updated 2 years ago
- ☆30Updated 4 years ago
- Tooling to play around with multilingual machine translation for Indian Languages.☆22Updated 3 years ago
- Custom Natural Language Processing with big and small models 🌲🌱☆68Updated 3 years ago
- spaCy match and replace, maintaining conjugation☆35Updated 2 years ago
- Information extraction from English and German texts based on predicate logic☆137Updated 2 years ago
- A tool for visualizing trees, tailored specifically to the analysis of parse trees.☆81Updated 4 years ago