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☆78Updated 2 years ago
- One stop shop for all things carp☆59Updated 3 years ago
- A Python library for automatically solving Abstraction and Reasoning Corpus (ARC) challenges using Claude and object-centric modeling.☆25Updated 9 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Language-annotated Abstraction and Reasoning Corpus☆93Updated 2 years ago
- An interactive exploration of Transformer programming.☆269Updated last year
- Python Research Framework☆106Updated 2 years ago
- ☆68Updated 11 months ago
- ☆62Updated 3 years ago
- ☆40Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- ☆18Updated last year
- The Abstraction and Reasoning Corpus made into a web game☆90Updated last year
- Drive a browser with Cohere☆71Updated 2 years ago
- A programming language for formal/informal computation.☆41Updated 2 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆42Updated last year
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆320Updated last year
- ☆84Updated last year
- RWKV model implementation☆38Updated 2 years ago
- Test prompts for GPT-J-6B and the resulting AI-generated texts☆53Updated 4 years ago
- Swarm training framework using Haiku + JAX + Ray for layer parallel transformer language models on unreliable, heterogeneous nodes☆242Updated 2 years ago
- Learning Universal Predictors☆79Updated last year
- Python tools for processing the stackexchange data dumps into a text dataset for Language Models☆82Updated last year
- Probabilistic LLM evaluations. [CogSci2023; ACL2023]☆72Updated last year
- ☆70Updated last year
- DiCE: The Infinitely Differentiable Monte-Carlo Estimator☆32Updated 2 years ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆58Updated 4 years ago
- A repo to evaluate various LLM's chess playing abilities.☆83Updated last year
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- Graphical Code Tracer (GCT): Visualize code at lightning speed☆53Updated last year