arvid220u / saytex
Convert natural language math expressions to LaTeX.
☆18Updated 4 years ago
Alternatives and similar repositories for saytex:
Users that are interested in saytex are comparing it to the libraries listed below
- Python tools for processing the stackexchange data dumps into a text dataset for Language Models☆81Updated last year
- This repo contains data and code for the paper "Reasoning over Public and Private Data in Retrieval-Based Systems."☆46Updated 8 months ago
- A simple semantic search engine for scientific papers.☆28Updated last year
- Mapping natural language commands to web elements☆37Updated 2 years ago
- ☆21Updated 3 years ago
- arXiv plain text extraction☆41Updated 2 years ago
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Updated last year
- Solution to im2latex request for research of openai☆89Updated 11 months ago
- Python tools for creating suitable dataset for OpenAI's im2latex task: https://openai.com/requests-for-research/#im2latex☆137Updated 6 years ago
- Code for MAWPS: A Math Word Problem Repository☆40Updated 2 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 8 months ago
- ☆67Updated 3 years ago
- Python package used to apply NLP interactive clustering methods.☆10Updated last year
- first attempt at description2code from 2016☆9Updated 6 years ago
- Graph4Tree is a simple example code for our EMNLP'20 Findings paper idea.☆26Updated 4 years ago
- ☆13Updated 4 years ago
- A unified benchmark for math reasoning☆87Updated 2 years ago
- Wikipedia based dataset to train relationship classifiers and fact extraction models☆25Updated 3 years ago
- Experimental form data extraction for journalism☆77Updated 4 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆44Updated this week
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆28Updated 3 years ago
- Manim Tutorials☆17Updated last year
- Apache PDFBox extension for precisely extracting character/symbol locations and identities from born-digital PDF files.☆19Updated 3 years ago
- Apply Iprompt on GLM with innovative new methods. Currently support Chinese QA, English QA and Chinese poem generation.☆20Updated 2 years ago
- Code for Stage-wise Fine-tuning for Graph-to-Text Generation☆26Updated 2 years ago
- Implementation for EACL 2021 paper "Scientific Discourse Tagging for Evidence Extraction".☆20Updated 3 years ago
- ☆16Updated 3 years ago
- CascadER: Cross-Modal Cascading for Knowledge Graph Link Prediction (arXiv 22)☆13Updated 2 years ago
- Graph-based Deep Q Network for Web Navigation☆47Updated 5 years ago