justindujardin / mathy
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
☆134Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for mathy
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆121Updated 2 years ago
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy☆91Updated 5 years ago
- Super lightweight function registries for your library☆173Updated 5 months ago
- Fast and customizable tokenization☆64Updated 5 years ago
- Code and data accompanying the paper "Approaching nested named entity recognition with parallel LSTM-CRFs."☆26Updated last year
- The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.☆55Updated 2 years ago
- Sentence transformers models for SpaCy☆105Updated last year
- 🌊 Machine learning dataset loaders for testing and example scripts☆46Updated 2 years ago
- Logic Programming in Python☆30Updated 3 years ago
- 🌸 fastText + Bloom embeddings for compact, full-coverage vectors with spaCy☆287Updated last year
- ☆70Updated last year
- Automatically check mismatch between code and comments using AI and ML☆54Updated 3 years ago
- A Domain Specific Language (DSL) for building language patterns. These can be later compiled into spaCy patterns, pure regex, or any othe…☆65Updated 2 years ago
- Confection: the sweetest config system for Python☆178Updated 5 months ago
- A python module for word inflections designed for use with spaCy.☆92Updated 4 years ago
- A tool for visualizing trees, tailored specifically to the analysis of parse trees.☆81Updated 4 years ago
- A lightweight but powerful library to build token indices for NLP tasks, compatible with major Deep Learning frameworks like PyTorch and …☆49Updated 4 years ago
- An intelligent, flexible grammar of machine learning.☆83Updated 3 years ago
- Jupyter Widget for data annotation☆140Updated last year
- A general purpose processing framework for corpora of scientific documents☆58Updated 6 months ago
- ALMa (Active Learning Manager) Keeps track of labeled and unlabeled data for active learning☆42Updated 4 years ago
- Information extraction from English and German texts based on predicate logic☆135Updated last year
- A lightweight Python library for constructing, processing, and visualizing constituent trees.☆63Updated 2 months ago
- linguistics tree drawing to SVG in python, aimed at Jupyter☆62Updated 3 months ago
- A Lightweight NLP Data Loader for All Deep Learning Frameworks in Python☆180Updated 10 months ago
- Fastlaw's purpose is to replace generic word embeddings for work on supervised machine learning NLP-tasks with legal texts.☆37Updated 5 years ago
- Resolution theorem proving for predicate logic in pure Python.☆91Updated last year
- Tooling to play around with multilingual machine translation for Indian Languages.☆21Updated 2 years ago
- 🐍 Python bidding for the Hora Approximate Nearest Neighbor Search Algorithm library☆68Updated 3 years ago
- A word2vec negative sampling implementation with correct CBOW update.☆260Updated 3 years ago