dpaleka / llm-chess-proofgameLinks
LLMs playing chess are sensitive to how the position came to be
☆24Updated last year
Alternatives and similar repositories for llm-chess-proofgame
Users that are interested in llm-chess-proofgame are comparing it to the libraries listed below
Sorting:
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆218Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 5 months ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- Benchmark that evaluates LLMs using 759 NYT Connections puzzles extended with extra trick words☆190Updated 2 weeks ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆238Updated 2 years ago
- ☆255Updated 2 years ago
- Benchmark LLM reasoning capability by solving chess puzzles.☆89Updated 8 months ago
- ☆164Updated 9 months ago
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- Brzozowski derivative python sketch☆85Updated 9 months ago
- A tiny autograd engine with a Jax-like API☆74Updated 6 months ago
- Text generator prompting with Boolean operators☆181Updated last month
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆364Updated 2 months ago
- ☆127Updated 2 years ago
- Revealing example of self-attention, the building block of transformer AI models☆131Updated 2 years ago
- A multi-player tournament benchmark that tests LLMs in social reasoning, strategy, and deception. Players engage in public and private co…☆295Updated 4 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆287Updated 3 months ago
- Hierarchical topic segmentation of meeting transcripts using embeddings and divisive clustering.☆54Updated last year
- Visual Transformer Mechanistic Analysis Tool☆34Updated 2 years ago
- ☆115Updated 11 months ago
- Sort input lines semantically with llm☆120Updated 7 months ago
- Visualize text embeddings☆40Updated 2 years ago
- Tokenflood is a load testing framework for simulating arbitary loads on instruction-tuned LLMs☆43Updated 3 weeks ago
- A playground to make it easy to try crazy things☆33Updated last month
- A pure NumPy implementation of Mamba.☆222Updated last year
- A probabilistic approximate DNF counter☆39Updated last month
- ☆69Updated 2 months ago
- a curated list of data for reasoning ai☆140Updated last year
- ☆177Updated last month
- LLM verified with Monte Carlo Tree Search☆284Updated 9 months ago