jasonrute/csb_neural_network

Stars
10
Rank 1,798,072 (Top 36 %)
Language
Created over 6 years ago
Updated over 6 years ago

jasonrute/csb_neural_network

jasonrute

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Training a neural network to compete in the Coder's Strike Back competition on CodinGame.com

puzzle_cube

Solving the Rubik's cube with deep reinforcement learning and Monte Carlo tree search

modulize

A Python decorator for converting a function into a module. It also includes tools for combining multiple Python files into one.

thoughts-on-ai-for-theorem-proving

lean_proof_recording

Proof recording for Lean 3

holist-communication-example

Example communicating with HOList

communicating-with-lean

Prototype of back-and-forth tactic application in Lean through an external program.

Jupyter Notebook

lean-proof-recording-public-old

Recording of tactic proofs in Lean 3 for machine learning

Neural-Network

An implementation of a neural network in pure Python/NumPy. Useful for programming competitions.

puzzle_cube_code

Code submodule for the Rubik's cube project

lean_gym_prototype

A prototype version of a machine learning gym for the Lean 3 theorem prover

annotated_lean

Annotated lean files

CG-Tron-Simulator

A simulator for the Tron multiplayer competition on CodinGame.com

lean_data_structures

Purely functional data structures in Lean

lean_info_scrapper

Scrapes all info messages from all lean files (both system and mathlib)

codingame_arena

An arena for CodinGame games. (Currently works for only Wonder Women.)