dpaleka / llm-chess-proofgameLinks
LLMs playing chess are sensitive to how the position came to be
☆23Updated 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:
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated this week
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆206Updated 7 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆237Updated 2 years ago
- Hierarchical topic segmentation of meeting transcripts using embeddings and divisive clustering.☆53Updated 11 months ago
- Visual Transformer Mechanistic Analysis Tool☆34Updated 2 years ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- A tiny autograd engine with a Jax-like API☆61Updated last week
- ☆252Updated last year
- Brzozowski derivative python sketch☆85Updated 3 months ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆30Updated last year
- A visual sudoku solver which runs in the web browser. Built using OpenCV and Tensorflow to identify the sudoku grid, recognise digits, an…☆55Updated 10 months ago
- ☆126Updated 2 years ago
- Benchmark LLM reasoning capability by solving chess puzzles.☆83Updated 2 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆285Updated last week
- Revealing example of self-attention, the building block of transformer AI models☆131Updated 2 years ago
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated last year
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- ☆163Updated 3 months ago
- A BERT that you can train on a (gaming) laptop.☆209Updated last year
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆165Updated last year
- Text generator prompting with Boolean operators☆180Updated 2 years ago
- A pure NumPy implementation of Mamba.☆224Updated last year
- Analyzing hacker news in real-time with Bytewax and Proton☆39Updated last year
- ☆153Updated last week
- convert a scikit-learn decision tree into a Keras model☆39Updated last year
- Chess, but each square also follows the rules of Conway's Game of Life☆49Updated last year
- LLM verified with Monte Carlo Tree Search☆276Updated 3 months ago
- Extensible AI assistant platform that bridges LLMs to tasks and actions☆38Updated 2 years ago
- ☆36Updated 2 years ago