justindujardin / mathyLinks
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
☆142Updated 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☆129Updated 2 years ago
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy☆94Updated 7 years ago
- Custom Natural Language Processing with big and small models 🌲🌱☆66Updated 4 years ago
- An intelligent, flexible grammar of machine learning.☆82Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated 2 years ago
- ☆108Updated 2 years ago
- A python module for word inflections designed for use with spaCy.☆93Updated 5 years ago
- Functional machine learning for fun☆85Updated 4 years ago
- arxiv_miner is a toolkit for mining research papers on CS ArXiv.☆139Updated last year
- Agents that build knowledge graphs and explore textual worlds by asking questions☆79Updated 2 years ago
- classy is a simple-to-use library for building high-performance Machine Learning models in NLP.☆87Updated 2 months ago
- ALMa (Active Learning Manager) Keeps track of labeled and unlabeled data for active learning☆42Updated 5 years ago
- Confection: the sweetest config system for Python☆192Updated 2 weeks ago
- spaCy match and replace, maintaining conjugation☆36Updated 3 years ago
- https://sharedtask.duolingo.com☆50Updated 5 years ago
- Reinforcement learning in TensorFlow 2☆22Updated 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
- Create real-time plots in Jupyter Notebooks.☆143Updated 2 years ago
- ☆104Updated 4 years ago
- Super lightweight function registries for your library☆180Updated last year
- A general purpose processing framework for corpora of scientific documents☆65Updated this week
- Test prompts for GPT-J-6B and the resulting AI-generated texts☆53Updated 4 years ago
- Intelligence Task Ontology (ITO)☆75Updated 3 years ago
- 🌊 Machine learning dataset loaders for testing and example scripts☆47Updated 3 years ago
- Logic Programming in Python☆31Updated 4 years ago
- arXiv plain text extraction☆41Updated 3 years ago
- Quick definitions and intuitive explanations around machine learning.☆37Updated 3 months ago
- Automatically check mismatch between code and comments using AI and ML☆54Updated 4 years ago
- Logical structure analysis for visually structured documents☆94Updated 3 years ago
- Parse LaTeX math expressions☆405Updated 6 years ago