Firdavs-coder / Math-ParserLinks
This scrape some math solver websites.
☆13Updated 3 years ago
Alternatives and similar repositories for Math-Parser
Users that are interested in Math-Parser are comparing it to the libraries listed below
Sorting:
- Parse LaTeX math expressions☆143Updated last year
- ☆79Updated 4 months ago
- A Manim utility extension for Visual Studio Code.☆169Updated 3 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆52Updated 7 months ago
- Gallery of math objects in manim☆41Updated 2 years ago
- EMNLP 2024 "Re-reading improves reasoning in large language models". Simply repeating the question to get bidirectional understanding for…☆28Updated last year
- Scientific Document Insight Q/A☆33Updated 5 months ago
- An Education Tutoring Chatbot based on Learning Science Principles powered by Large Language Models☆55Updated last year
- Created a web app that can automatically score essays. The grading model was trained using HP Essays Dataset from Kaggle. Used Long Short…☆65Updated 5 years ago
- Repository of the ICNLSP 2024 paper "Efficient Few-shot Learning for Multi-label Classification of Scientific Documents with Many Classes…☆17Updated last year
- Residual Quantization Autoencoder, used for interpreting LLMs☆14Updated last year
- Erica will always know your context because she can see everything on your screen.☆15Updated 2 years ago
- ChatGPT plugin for theorem proving in Lean☆124Updated last year
- Consists of the largest (10K) human annotated code-switched semantic parsing dataset & 170K generated utterance using the CST5 augmentati…☆41Updated 3 years ago
- LeXFiles and LegalLAMA: Facilitating English Multinational Legal Language Model Development☆20Updated 2 years ago
- ☆49Updated 2 years ago
- Code repository for "Introducing Airavata: Hindi Instruction-tuned LLM"☆63Updated last year
- CLI for document conversion for scientific documents, powered by Mathpix OCR☆114Updated 2 years ago
- ☆13Updated 3 years ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆22Updated 3 years ago
- ☆48Updated 11 months ago
- An MDL-based approach to the Abstraction and Reasoning Corpus (ARC) challenge☆24Updated 5 months ago
- Graphical Code Tracer (GCT): Visualize code at lightning speed☆54Updated last year
- The AI that helps you achieve your goals☆11Updated 2 years ago
- Dataset and evaluation suite enabling LLM instruction-following for scientific literature understanding.☆47Updated 10 months ago
- LLM sampling method for enforcing syntax adherence in generated output☆25Updated 2 years ago
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆46Updated 2 years ago
- A working Docker image for the Maxtract program that converts pdf to LaTeX sources☆14Updated 6 years ago
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- Convert all of libgen to high quality markdown☆254Updated 2 years ago