harbecke / HexHexLinks
AlphaGo Zero adaptation for Hex
☆29Updated last week
Alternatives and similar repositories for HexHex
Users that are interested in HexHex are comparing it to the libraries listed below
Sorting:
- IMO Grand Challenge for Artificial Intelligence☆47Updated 4 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 10 months ago
- Metamath verifier in Python☆41Updated 8 months ago
- AlphaZero implemented for Hex☆24Updated 7 years ago
- CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!☆44Updated last year
- ☆200Updated 3 years ago
- ☆63Updated last month
- Proof artifact co-training for Lean☆44Updated 3 years ago
- Formal to Formal Mathematics Benchmark☆415Updated 2 years ago
- Repository for the QED interactive text and possible extensions☆118Updated last year
- ☆108Updated 3 years ago
- Data and code for the paper "A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot …☆184Updated 3 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆57Updated 4 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆414Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆393Updated 4 months ago
- Metagol - an inductive logic programming system☆207Updated 4 years ago
- Jupyter kernel for Coq☆95Updated last year
- Metamath source file for logic and set theory☆302Updated this week
- Language-annotated Abstraction and Reasoning Corpus☆99Updated 2 years ago
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆139Updated last week
- Hex board game AI with self-play learning based on the AlphaZero algorithm☆36Updated 6 years ago
- AlphaZero-like AI solution for playing Ultimate Tic-Tac-Toe in the browser☆78Updated 3 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Updated 4 years ago
- ARC Community Project☆22Updated last year
- This project converts structured Lean code into an interactive browser game.☆78Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Cours d'informatique en MP2I (OCaml, C, SQL)☆46Updated this week
- Interactive neural theorem proving in Lean☆132Updated 3 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆323Updated last year