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:
- Functional machine learning for fun☆85Updated 4 years ago
- converts LaTeX into a Python parse tree, allowing navigation using the default or a custom hierarchy☆94Updated 6 years ago
- ☆108Updated 2 years ago
- arxiv_miner is a toolkit for mining research papers on CS ArXiv.☆137Updated last year
- Create real-time plots in Jupyter Notebooks.☆143Updated 2 years ago
- Quick definitions and intuitive explanations around machine learning.☆35Updated last month
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 2 years ago
- An intelligent, flexible grammar of machine learning.☆83Updated 4 years ago
- ALMa (Active Learning Manager) Keeps track of labeled and unlabeled data for active learning☆42Updated 5 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆133Updated 3 years ago
- Python Research Framework☆106Updated 2 years ago
- ☆104Updated 4 years ago
- ☆30Updated 3 years ago
- Custom Natural Language Processing with big and small models 🌲🌱☆68Updated 4 years ago
- Tools for extracting tables and results from Machine Learning papers☆430Updated 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…☆68Updated 2 years ago
- The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.☆55Updated 3 years ago
- A python package for rating systems (like Elo)☆24Updated 3 months ago
- Agents that build knowledge graphs and explore textual worlds by asking questions☆79Updated 2 years ago
- A python module for word inflections designed for use with spaCy.☆93Updated 5 years ago
- https://sharedtask.duolingo.com☆50Updated 5 years ago
- Super lightweight function registries for your library☆178Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Confection: the sweetest config system for Python☆190Updated 5 months ago
- Test prompts for GPT-J-6B and the resulting AI-generated texts☆53Updated 4 years ago
- A biologically inspired method to create sparse, binary word vectors☆38Updated 3 years ago
- ☆40Updated 2 years ago
- Reinforcement learning in TensorFlow 2☆22Updated 3 years ago
- The ntentional blog - a machine learning journey☆23Updated 2 years ago
- An ML framework to accelerate research and its path to production.☆267Updated last year