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 …☆64Updated 3 weeks ago
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆210Updated 9 months ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- ☆253Updated 2 years ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆239Updated 2 years ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆286Updated 3 weeks ago
- A probabilistic approximate DNF counter☆37Updated last month
- LLM verified with Monte Carlo Tree Search☆279Updated 4 months ago
- ☆53Updated this week
- Brzozowski derivative python sketch☆85Updated 4 months ago
- A tiny autograd engine with a Jax-like API☆74Updated last month
- Revealing example of self-attention, the building block of transformer AI models☆131Updated 2 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- A pure NumPy implementation of Mamba.☆224Updated last year
- A BERT that you can train on a (gaming) laptop.☆209Updated last year
- C++ raytracer that supports custom models. Supports running the calculations on the CPU using C++11 threads or in the GPU via CUDA.☆76Updated 2 years ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated 2 years ago
- ☆164Updated 5 months ago
- Text generator prompting with Boolean operators☆178Updated 2 years ago
- convert a scikit-learn decision tree into a Keras model☆39Updated last year
- A playground to make it easy to try crazy things☆33Updated 2 months ago
- ☆36Updated 2 years ago
- Autograd to GPT-2 completely from scratch☆116Updated 2 weeks ago
- When AI Fails is a project dedicated to documenting the funny, interesting, and sometimes outright stupid ways in which AI can fail.☆62Updated last month
- Sort input lines semantically with llm☆121Updated 2 months ago
- ☆126Updated 2 years ago
- Benchmark that evaluates LLMs using 651 NYT Connections puzzles extended with extra trick words☆136Updated 2 weeks ago
- List of research papers of research papers investigating the user experience of AI-powered programming assistants (e.g., Copilot).☆99Updated last year
- ☆66Updated 2 months ago