justindujardin / mathyLinks
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
β143Updated last year
Alternatives and similar repositories for mathy
Users that are interested in mathy are comparing it to the libraries listed below
Sorting:
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchyβ95Updated 7 years ago
- Custom Natural Language Processing with big and small models π²π±β66Updated 4 years ago
- A python module for word inflections designed for use with spaCy.β93Updated 5 years ago
- A Domain Specific Language (DSL) for building language patterns. These can be later compiled into spaCy patterns, pure regex, or any otheβ¦β68Updated 3 years ago
- ALMa (Active Learning Manager) Keeps track of labeled and unlabeled data for active learningβ42Updated 5 years ago
- Resolution theorem proving for predicate logic in pure Python.β96Updated 2 years ago
- Confection: the sweetest config system for Pythonβ192Updated 3 weeks ago
- Python library that enables using prolog syntax and logic programming in pythonβ128Updated 2 years ago
- arxiv_miner is a toolkit for mining research papers on CS ArXiv.β139Updated last year
- Finds linguistic patterns effortlesslyβ39Updated 2 years ago
- Functional machine learning for funβ85Updated 4 years ago
- β108Updated 3 years ago
- https://sharedtask.duolingo.comβ50Updated 5 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AIβ43Updated 3 years ago
- Logic Programming in Pythonβ31Updated 4 years ago
- spaCy match and replace, maintaining conjugationβ36Updated 3 years ago
- Automatically check mismatch between code and comments using AI and MLβ54Updated 4 years ago
- Probabilistic regular expressionsβ19Updated 6 years ago
- 𧬠A VS Code extension for annotating data with Prodigyβ30Updated 4 years ago
- Super lightweight function registries for your libraryβ180Updated last year
- Tokenize and clean strings in Pythonβ11Updated 7 years ago
- Agents that build knowledge graphs and explore textual worlds by asking questionsβ79Updated 2 years ago
- β30Updated 3 years ago
- classy is a simple-to-use library for building high-performance Machine Learning models in NLP.β87Updated this week
- Code and data accompanying the paper "Approaching nested named entity recognition with parallel LSTM-CRFs."β27Updated 3 years ago
- The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.β55Updated 3 years ago
- Bayesian Assessment of Hypothesesβ26Updated 2 years ago
- Tools for extracting tables and results from Machine Learning papersβ433Updated 3 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)β134Updated 3 years ago
- Create real-time plots in Jupyter Notebooks.β144Updated 2 years ago