Code

[DRAFT] Initial model training #25

Code

Closed

janidziakhb wants to merge 12 commits intocoq-tactician:coq8.11coq-tactician/coq-tactician-api:coq8.11from BlueRavenAI:graph-traversal-explorationBlueRavenAI/coq-tactician-api-old:graph-traversal-explorationCopy head branch name to clipboard

+3,921

Commits

Commits on Jan 9, 2025

• Initial script for the graph traversal

  janidziak

  committed
  6f6dc1c

  Copy full SHA for 6f6dc1c

Commits on Jan 11, 2025

• Messy temporrary notebook

  janidziakhb

  committed
  5743a5c

  Copy full SHA for 5743a5c

Commits on Jan 13, 2025

• Cleaned graphs traversal

  janidziakhb

  committed
  3a3c9bd

  Copy full SHA for 3a3c9bd

• Initial model training pipeline for the encoder

  janidziakhb

  committed
  0cc4c97

  Copy full SHA for 0cc4c97

• Added Class for the dataset creation

  janidziakhb

  committed
  d2eca71

  Copy full SHA for d2eca71

• Removed obsoleter ipynb

  janidziakhb

  committed
  16dcd78

  Copy full SHA for 16dcd78

Commits on Jan 15, 2025

• Added notebook for the intitial model training with the training results for the Logic library.

  janidziakhb

  committed
  442aa6a

  Copy full SHA for 442aa6a

Commits on Jan 19, 2025

• Initial experimens results in notebooks.

  janidziakhb

  committed
  c39c783

  Copy full SHA for c39c783

Commits on Jan 20, 2025

• Model architecture

  janidziakhb

  committed
  5aef91c

  Copy full SHA for 5aef91c

Commits on Jan 21, 2025

• Initial results for training the LSTM

  

  Jan Idziak

  authored and

  Jan Idziak

  committed
  c66e465

  Copy full SHA for c66e465

• Added full training details for LSTM

  

  Jan Idziak

  authored and

  Jan Idziak

  committed
  73b4906

  Copy full SHA for 73b4906

Commits on Jan 22, 2025

• Training a bigger RNN model

  

  Jan Idziak

  authored and

  Jan Idziak

  committed
  ec0fa7c

  Copy full SHA for ec0fa7c