This is the Repository for Geometry Problem Solving Method Evaluation

Package for extracting and mapping the results of every single tensor operation in a PyTorch model in one line of code.

Semi-Automated Python Proof Assistant

Geometry Question Solver (GeoS)

My public programs and models - mostly combinatorial problems and puzzles

A computer algebra system written in pure Python

Python Exploration with Z3

The Z3 Theorem Prover

Official release of InternLM2.5 base and chat models. 1M context support

State-of-the-art bilingual open-sourced Math reasoning LLMs.

MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

Temporary repository for Kind2's refactor based on HVM2

A massively parallel, high-level programming language

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Parse LaTeX math expressions

[ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset

Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Port of Cyc to Common Lisp

Catalog Of Math Problems Formalized In Lean

Structured Text Generation

A python library for user-friendly forecasting and anomaly detection on time series.

The Racket repository

The Fast Downward domain-independent classical planning system

Coroutine-based concurrency library for Python

Nearest Neighbor Search with Neighborhood Graph and Tree for High-dimensional Data