ricsonc / transformers-play-chessLinks
a writeup on some experiments on a sequence model for chess games
☆31Updated 4 years ago
Alternatives and similar repositories for transformers-play-chess
Users that are interested in transformers-play-chess are comparing it to the libraries listed below
Sorting:
- A dataset of alignment research and code to reproduce it☆77Updated 2 years ago
- Language-annotated Abstraction and Reasoning Corpus☆93Updated 2 years ago
- A Python library for automatically solving Abstraction and Reasoning Corpus (ARC) challenges using Claude and object-centric modeling.☆23Updated 9 months ago
- Abstraction and Reasoning Corpus☆14Updated 2 years ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- ☆40Updated 2 years ago
- ☆18Updated last year
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- Test prompts for GPT-J-6B and the resulting AI-generated texts☆53Updated 4 years ago
- An interactive exploration of Transformer programming.☆270Updated last year
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆58Updated 4 years ago
- The Abstraction and Reasoning Corpus made into a web game☆90Updated last year
- Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.☆14Updated last year
- ☆24Updated this week
- One stop shop for all things carp☆59Updated 3 years ago
- Serialize JAX, Flax, Haiku, or Objax model params with 🤗`safetensors`☆46Updated last year
- ☆144Updated 2 years ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆41Updated last year
- See https://github.com/cuda-mode/triton-index/ instead!☆10Updated last year
- Minetest is an open source voxel game engine with easy modding and game creation☆66Updated last year
- ☆62Updated 3 years ago
- slowly building a set of infinite riddle generators for data-hungry methods☆14Updated 2 years ago
- Probabilistic LLM evaluations. [CogSci2023; ACL2023]☆72Updated last year
- A programming language for formal/informal computation.☆41Updated 2 months ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆321Updated last year
- ☆12Updated 4 years ago
- Resources from the EleutherAI Math Reading Group☆54Updated 7 months ago
- ☆30Updated last year