Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
☆43Jan 18, 2026Updated last month
Alternatives and similar repositories for transformers4math-simons
Users that are interested in transformers4math-simons are comparing it to the libraries listed below
Sorting:
- ☆22Jan 14, 2026Updated last month
- ☆14Updated this week
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- ☆14Updated this week
- The Lean Theorem Proving Environment☆14May 7, 2023Updated 2 years ago
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- ☆25Apr 21, 2021Updated 4 years ago
- Goldbach conjecture = 25-state turing machine☆38Jan 13, 2025Updated last year
- Utilize the capability of GPT-4o Vision on the UHHGPT web portal☆12Aug 26, 2024Updated last year
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- DeepAlgebra☆25Oct 26, 2017Updated 8 years ago
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- OpenAI library for Crystal, providing an interface to interact with various OpenAI services.☆12Jan 17, 2024Updated 2 years ago
- Catalog Of Math Problems Formalized In Lean☆234Updated this week
- Try a tactic at each step in a Lean proof.☆35Updated this week
- DiagnoSys is a comprehensive web application that provides advanced detection and analysis for various health conditions. This project le…☆14May 6, 2024Updated last year
- Code translator from one language to another using AI☆10Feb 24, 2026Updated last week
- Solving Inequality Proofs with Large Language Models.☆58Dec 15, 2025Updated 2 months ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 25, 2026Updated last week
- Automate dating apps with AI☆19Jan 18, 2024Updated 2 years ago
- Winning submission for the Citadel 2021 Data Open. An Empirical Analysis of New Orleans's Rental Regulations on Airbnb Listings.☆13Oct 6, 2021Updated 4 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- Formalization of the existence of sphere eversions☆47Feb 18, 2026Updated last week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆108Updated this week
- A Node-RED node that interacts with OpenAI machine learning models to generate text like ChatGPT☆12Feb 29, 2024Updated 2 years ago
- A template for Python projects using cookiecutter☆12Feb 23, 2026Updated last week
- I saw this [Blog Post](https://www.morling.dev/blog/one-billion-row-challenge/) on a Billion Row challenge for Java so naturally I tried …☆14Jan 10, 2024Updated 2 years ago
- This library is designed to turn DynamoDB into an Event Store for CQRS/Event Sourcing.☆12Feb 15, 2026Updated 2 weeks ago
- ☆13Nov 18, 2025Updated 3 months ago
- Supporting information of 'Single-cell RNA sequencing of a European and an African lymphoblastoid cell line'☆10Feb 27, 2020Updated 6 years ago
- A working Speech to Speech AI assistant that can interact with you, manage your system, and more!☆14May 1, 2024Updated last year
- The Radio Imaging Audio Generator is a Streamlit-based application designed for radio producers and music creators. It combines OpenAI's …☆12May 21, 2025Updated 9 months ago
- This repository shows how to implement a basic model for multimodal entailment.☆10Aug 17, 2021Updated 4 years ago
- ChatMAUI - made from ChatGPT. ChatMAUI is an open-source, cross-platform project designed to be like ChatGPT's API playground. This proje…☆10Mar 28, 2023Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- Magically caches all visited pages, requests, images, fonts, etc...☆10Dec 11, 2016Updated 9 years ago
- Supporting material for Princeton ORF307☆12Jan 14, 2026Updated last month