Code for FormulaNet in NIPS 2017
☆30Apr 10, 2018Updated 7 years ago
Alternatives and similar repositories for FormulaNet
Users that are interested in FormulaNet are comparing it to the libraries listed below
Sorting:
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Code for ACL 2018 paper 'Think Visually: Question Answering through Virtual Imagery'☆13Mar 24, 2023Updated 2 years ago
- The Lean Theorem Proving Environment☆14May 7, 2023Updated 2 years ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Jul 6, 2023Updated 2 years ago
- Code to generate datasets used in "How Useful is Self-Supervised Pretraining for Visual Tasks?"☆22Apr 13, 2020Updated 5 years ago
- Khoá học Python for Data Analysis dành cho các bạn mới bắt đầu☆26Feb 25, 2022Updated 4 years ago
- ☆24Feb 23, 2026Updated last week
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Feb 15, 2020Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Jul 1, 2024Updated last year
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Oct 26, 2025Updated 4 months ago
- Bonn Lean course for winter 24/25☆42Jan 8, 2026Updated last month
- A Learning Environment for Theorem Proving☆76Jun 21, 2022Updated 3 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 11, 2026Updated 2 weeks ago
- Formalization of the existence of sphere eversions☆47Feb 18, 2026Updated last week
- ☆11Sep 17, 2020Updated 5 years ago
- ☆13Jul 8, 2024Updated last year
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Software library RLCM (recursively low-rank compressed matrices)☆14Apr 15, 2021Updated 4 years ago
- ☆20May 24, 2025Updated 9 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Dec 16, 2025Updated 2 months ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Updated this week
- ☆11Sep 15, 2025Updated 5 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A graph based image processing and generation tool.☆14Nov 18, 2025Updated 3 months ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- Mathematical modelling of Magic the Gathering☆10Aug 9, 2021Updated 4 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 5 years ago
- ☆10Jan 28, 2024Updated 2 years ago
- Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data☆11Jul 13, 2020Updated 5 years ago
- ☆20Updated this week