Alternatives and similar repositories for transformers-play-chess

Users that are interested in transformers-play-chess are comparing it to the libraries listed below

• moirage / alignment-research-dataset
  A dataset of alignment research and code to reproduce it
  ☆77Updated 2 years ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• shawwn / ml-notes
  ☆39Updated 2 years ago
• cvndsh / rebus
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Updated 11 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated 10 months ago
• srush / drop7
  ☆18Updated last year
• keyonvafa / world-model-evaluation
  ☆56Updated 8 months ago
• minimaxir / gpt-j-6b-experiments
  Test prompts for GPT-J-6B and the resulting AI-generated texts
  ☆53Updated 4 years ago
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆49Updated 2 years ago
• volotat / ARC-Game
  The Abstraction and Reasoning Corpus made into a web game
  ☆89Updated 10 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• benlipkin / probsem
  Probabilistic LLM evaluations. [CogSci2023; ACL2023]
  ☆73Updated 11 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆109Updated last year
• EleutherAI / tokengrams
  Efficiently computing & storing token n-grams from large corpora
  ☆24Updated 9 months ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• agemoai / arcsolver
  A Python library for automatically solving Abstraction and Reasoning Corpus (ARC) challenges using Claude and object-centric modeling.
  ☆22Updated 6 months ago
• R0bk / Transpector
  Visual Transformer Mechanistic Analysis Tool
  ☆34Updated 2 years ago
• srush / raspy
  An interactive exploration of Transformer programming.
  ☆265Updated last year
• yk / litter
  ☆71Updated last year
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆88Updated 2 years ago
• shawwn / jaxnotes
  ☆20Updated 3 years ago
• alvarobartt / safejax
  Serialize JAX, Flax, Haiku, or Objax model params with 🤗`safetensors`
  ☆45Updated last year
• NolanoOrg / InstructLLaMa.cpp
  Fast inference of Instruct tuned LLaMa on your personal devices.
  ☆22Updated 2 years ago
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆40Updated 4 months ago
• kir-gadjello / zipslicer
  A library for incremental loading of large PyTorch checkpoints
  ☆56Updated 2 years ago
• EleutherAI / magiCARP
  One stop shop for all things carp
  ☆59Updated 2 years ago
• NolanoOrg / smol-gpt
  Smol but mighty language model
  ☆62Updated 2 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆40Updated last year