Adaptive Subgoal Search
☆20Apr 3, 2023Updated 2 years ago
Alternatives and similar repositories for adaptive_subs
Users that are interested in adaptive_subs are comparing it to the libraries listed below
Sorting:
- ☆15Apr 12, 2023Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- ☆71Sep 30, 2023Updated 2 years ago
- ☆20Jan 31, 2022Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 5 years ago
- ☆20Jan 24, 2023Updated 3 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A library of techniques for local interpretation of machine learning models☆10Mar 24, 2023Updated 2 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆10Sep 17, 2023Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Incomplete implementation of Desmos Graphing Calculator☆17Feb 22, 2026Updated last week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Guide for fixing 99-100% of cracking sound issues on Dell XPS 15 9570☆11Nov 1, 2018Updated 7 years ago
- ☆11Oct 17, 2023Updated 2 years ago
- Code for reproducing key results in the paper "Improving the Neural GPU Architecture for Algorithm Learning" by Karlis Freivalds, Renars …☆13Jul 4, 2018Updated 7 years ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- Python 3 library for modifying and creating Halo content based on the Supyr_Struct Library.☆10Apr 13, 2025Updated 10 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- ☆14Updated this week
- Feature Pyramid Network for Multi-task Affective Analysis☆11Oct 30, 2021Updated 4 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Code for our PLOS ONE paper: "Predicting Human Decision Making in Psychological Tasks with Recurrent Neural Networks"☆13Jun 3, 2022Updated 3 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- GLVisualize for the Web☆10Feb 8, 2020Updated 6 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- ☆10Jul 29, 2022Updated 3 years ago
- eSNN - Learning similarity measure from data☆12Nov 28, 2019Updated 6 years ago