dpaleka / llm-chess-proofgame

Related projects: ⓘ

• R0bk / Transpector
  Visual Transformer Mechanistic Analysis Tool
  ☆31Updated last year
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆25Updated 4 months ago
• AugmendTech / treeseg
  Hierarchical topic segmentation of meeting transcripts using embeddings and divisive clustering.
  ☆47Updated last month
• cfusting / conditional-growth
  Grow virtual creatures in static and physics simulated environments.
  ☆52Updated 5 months ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆84Updated 4 years ago
• fkhan0520 / cgpt_exceptions
  ☆36Updated last year
• HnimNart / deeplearning
  ☆54Updated 3 years ago
• andyk / recursive_llm
  Implement recursion using English as the programming language and an LLM as the runtime.
  ☆125Updated last year
• adamkarvonen / chess_llm_interpretability
  Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …
  ☆190Updated 3 months ago
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆51Updated this week
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆26Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 5 months ago
• elesiuta / conways-game-of-chess
  Chess, but each square also follows the rules of Conway's Game of Life
  ☆48Updated last year
• JosephSBoyle / skip_gram
  ☆36Updated last year
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆60Updated 7 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• US-Artificial-Intelligence / praetor-data
  Praetor is a lightweight finetuning data and prompt management tool
  ☆64Updated last year
• Dobiasd / treebomination
  convert a scikit-learn decision tree into a Keras model
  ☆39Updated 10 months ago
• breck7 / drillBits
  Code from https://queue.acm.org/detail.cfm?id=3448307 unzipped
  ☆21Updated 3 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 2 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 5 months ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆235Updated 2 weeks ago
• fullthom / chat-gpt-quine
  ☆123Updated last year
• ccli3896 / RLWorms
  Setting up C elegans as an RL environment.
  ☆14Updated 5 months ago
• minimaxir / gpt-j-6b-experiments
  Test prompts for GPT-J-6B and the resulting AI-generated texts
  ☆53Updated 3 years ago
• Taiters / sudoku-solver
  A visual sudoku solver which runs in the web browser. Built using OpenCV and Tensorflow to identify the sudoku grid, recognise digits, an…
  ☆53Updated 3 weeks ago
• xetdata / xetcache
  ☆55Updated 9 months ago
• s-macke / AdventureAI
  Interactive Fiction in the Age of AI
  ☆24Updated last week
• Ghassen-Chaabouni / machine_learning_games
  Set of games and simulations designed to experiment with QLearning, Neuroevolution, and PoseNet.
  ☆41Updated last year
• alt-text-org / image-algo-testing
  Testing various image matching algorithms' performance on the Pinecone vector DB
  ☆42Updated last year