justindujardin / mathy
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
β135Updated 7 months ago
Alternatives and similar repositories for mathy:
Users that are interested in mathy are comparing it to the libraries listed below
- π Make Thinc faster on macOS by calling into Apple's native Accelerate libraryβ93Updated 4 months ago
- πΈ fastText + Bloom embeddings for compact, full-coverage vectors with spaCyβ307Updated last year
- Docsβ143Updated 2 months ago
- Super lightweight function registries for your libraryβ177Updated 8 months ago
- Official Repository of the Magnum Projectβ59Updated 3 years ago
- SummVis is an interactive visualization tool for text summarization.β252Updated 2 years ago
- A general purpose processing framework for corpora of scientific documentsβ58Updated 9 months ago
- Information extraction from English and German texts based on predicate logicβ135Updated last year
- The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.β55Updated 2 years ago
- Tooling to play around with multilingual machine translation for Indian Languages.β21Updated 2 years ago
- Streamlit Named Entity Recognition (NER) annotation custom componentβ39Updated 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β¦β67Updated 2 years 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
- Excel Integration with spaCy. Training NER using Excel/XLSX from PDF, DOCX, PPT, PNG or JPG.β105Updated 2 years ago
- Confection: the sweetest config system for Pythonβ182Updated 8 months ago
- Stand-alone WordNet APIβ48Updated 2 years ago
- Jupyter Widget for data annotationβ140Updated 2 years ago
- A SymPy version of WolframAlpha.β683Updated 10 months ago
- A minimal template for creating a pypi packageβ49Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.β92Updated last year
- A python module for word inflections designed for use with spaCy.β92Updated 5 years ago
- Code and data accompanying the paper "Approaching nested named entity recognition with parallel LSTM-CRFs."β26Updated 2 years ago
- Code for tweets by @manim_community on twitterβ74Updated 3 years ago
- In the wild extraction of entities that are found using Flair and displayed using a very elegant front-end.β71Updated 2 years ago
- Galois is an auto code completer for code editors (or any text editor) based on OpenAI GPT-2.β95Updated last year
- spaCy match and replace, maintaining conjugationβ35Updated 2 years ago
- Using questions to summarize large amounts of textual data.β25Updated 4 years ago
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchyβ92Updated 6 years ago
- Execute a jupyter notebook, fast, without needing jupyterβ127Updated last month
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)β127Updated 2 years ago