☆79Sep 16, 2025Updated 5 months ago
Alternatives and similar repositories for MathBERT
Users that are interested in MathBERT are comparing it to the libraries listed below
Sorting:
- ☆57Mar 21, 2025Updated 11 months ago
- ☆11Oct 21, 2023Updated 2 years ago
- ☆14Dec 9, 2021Updated 4 years ago
- Graph4Tree is a simple example code for our EMNLP'20 Findings paper idea.☆26Nov 18, 2020Updated 5 years ago
- The Soft Cosine Measure system developed for the ARQMath-3 shared task evaluation of math information retrieval systems☆13Sep 8, 2022Updated 3 years ago
- ☆12Mar 8, 2022Updated 4 years ago
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- Convenient Text-to-Text Training for Transformers☆19Dec 10, 2021Updated 4 years ago
- This repository contains source code for the PASTA model, a pre-trained language model for table-based fact verification.☆18Dec 27, 2022Updated 3 years ago
- MWPToolkit is an open-source framework for math word problem(MWP) solvers.☆165Sep 28, 2022Updated 3 years ago
- LogicCircuit is a program that helps build/simulate simple circuits using logic gates. It is meant to teach people the basics of how logi…☆10Feb 16, 2026Updated 3 weeks ago
- ☆27Aug 20, 2021Updated 4 years ago
- 한국어 높임말 교정☆26Dec 31, 2022Updated 3 years ago
- ☆26Apr 8, 2022Updated 3 years ago
- NAACL 2022 Findings Paper: MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving☆33Aug 18, 2022Updated 3 years ago
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆33Dec 7, 2022Updated 3 years ago
- Rust bindings for the Lean 4 proof assistant☆46Sep 24, 2025Updated 5 months ago
- The package 'data-driven density estimation x' (dddex) turns any standard point forecasting model into an estimator of the underlying con…☆10Dec 1, 2025Updated 3 months ago
- 한국어 언어 모델 학습을 위한 프로젝트(Flax, Pytorch with Huggingface Accelerate)☆32Sep 13, 2023Updated 2 years ago
- ☆27Mar 11, 2021Updated 4 years ago
- GPT2 finetuning with transformers 🤗☆28Feb 7, 2021Updated 5 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- PyTorch implementation of paper: Paint Transformer: Feed Forward Neural Painting with Stroke Prediction, ICCV 2021.☆27Aug 10, 2021Updated 4 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Official repository of "SeGA: Preference-Aware Self-Contrastive Learning with Prompts for Anomalous User Detection on Twitter" @ AAAI 202…☆11Nov 30, 2024Updated last year
- A minimal and interpretable Brian2 based DYNAP neuromorphic processor simulator for educational purposes.☆12Jun 23, 2022Updated 3 years ago
- Python crossplatform library for Mac/linux and widows os.Complete system command, send alert, notifications, set brightness, recording au…☆11Apr 25, 2025Updated 10 months ago
- ☆38Dec 24, 2022Updated 3 years ago
- A unified benchmark for math reasoning☆90Jan 25, 2023Updated 3 years ago
- A library for evaluation of Grammatical Error Correction (GEC). Accepted to ACL'25 Demo: "gec-metrics: A Unified Library for Grammatical …☆14Jan 25, 2026Updated last month
- ☆12Aug 15, 2023Updated 2 years ago
- 学而思网校AI开放平台_SDK☆10Mar 7, 2020Updated 6 years ago
- Generalized sparse regression for continuous and discrete data☆12Feb 23, 2026Updated 2 weeks ago
- 生成训练文本检测数据集☆12Jul 1, 2020Updated 5 years ago
- WaPENの文法をPythonっぽくしたもの☆14Updated this week
- The central repository about StartBig (1st Ed.), a series of meetings organized by MESA.☆11Apr 2, 2023Updated 2 years ago
- 2D Platformer made using the Pygame Library☆10Jan 6, 2021Updated 5 years ago
- Github repository for "Big Data in Astrophysics" - Spring 2021☆14Apr 26, 2021Updated 4 years ago
- Visualizing 230 years of US Census data☆12Feb 23, 2020Updated 6 years ago