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:
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆212Updated 10 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆238Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- A star for organising blocks and playing with transformers.☆23Updated last year
- ☆254Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 5 months ago
- ☆126Updated 2 years ago
- Text generator prompting with Boolean operators☆178Updated 2 years ago
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- Revealing example of self-attention, the building block of transformer AI models☆131Updated 2 years ago
- Hierarchical topic segmentation of meeting transcripts using embeddings and divisive clustering.☆53Updated last year
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆285Updated this week
- Praetor is a lightweight finetuning data and prompt management tool☆67Updated 10 months ago
- A tiny autograd engine with a Jax-like API☆74Updated 2 months ago
- ☆163Updated 5 months ago
- LLM verified with Monte Carlo Tree Search☆282Updated 5 months ago
- A probabilistic approximate DNF counter☆37Updated 2 weeks ago
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆253Updated last year
- A multi-player tournament benchmark that tests LLMs in social reasoning, strategy, and deception. Players engage in public and private co…☆289Updated last month
- ☆53Updated 3 weeks ago
- A BERT that you can train on a (gaming) laptop.☆209Updated 2 years ago
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆43Updated last week
- Autograd to GPT-2 completely from scratch☆119Updated last month
- Visual Transformer Mechanistic Analysis Tool☆34Updated 2 years ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated 2 years ago
- convert a scikit-learn decision tree into a Keras model☆39Updated last year
- Visualize text embeddings☆40Updated 2 years ago
- a curated list of data for reasoning ai☆137Updated last year
- Benchmark that evaluates LLMs using 759 NYT Connections puzzles extended with extra trick words☆139Updated last week
- Code repo for "Most Language Models can be Poets too: An AI Writing Assistant and Constrained Text Generation Studio" at the (CAI2) wor…☆212Updated 2 years ago