Code

Dec branch commit#584

Code

Open

cesposo wants to merge 25 commits intokarpathy:masterkarpathy/nanoGPT:masterfrom leyanpan:dec_branch_commitleyanpan/nanoGPT_SAT:dec_branch_commitCopy head branch name to clipboard

+103,794-2,064

Commits

Commits on Oct 14, 2023

• First Commit for SAT Solving

  leyanpan

  committed
  fff7336

  Copy full SHA for fff7336

Commits on Oct 19, 2023

• Add updates for partial training

  leyanpan

  committed
  087a633

  Copy full SHA for 087a633

Commits on Oct 20, 2023

• Modify gitignore

  leyanpan

  committed
  1c2647e

  Copy full SHA for 1c2647e

Commits on Nov 5, 2023

• add large training set

  leyanpan

  committed
  e9caadb

  Copy full SHA for e9caadb

Commits on Nov 6, 2023

• add test for Large CDCL

  leyanpan

  committed
  432ea20

  Copy full SHA for 432ea20

Commits on Nov 7, 2023

• add new prediction file

  

  Pan

  committed
  fe26dc3

  Copy full SHA for fe26dc3

• add diff dataset

  leyanpan

  committed
  7260b24

  Copy full SHA for 7260b24

• Merge branch 'master' of github.com:leyanpan/nanoGPT_SAT

  Show description for 209b732
  leyanpan

  committed
  209b732

  Copy full SHA for 209b732

Commits on Nov 10, 2023

• add 20-layer model

  

  Pan

  committed
  3b40a81

  Copy full SHA for 3b40a81

• Fix prediction files

  

  Pan

  committed
  983eeef

  Copy full SHA for 983eeef

Commits on Nov 29, 2023

• add LTL dataset

  leyanpan

  committed
  fa795f2

  Copy full SHA for fa795f2

Commits on Jan 18, 2024

• Update Code for binary classification

  leyanpan

  committed
  e304737

  Copy full SHA for e304737

• Update .gitignore and remove large files

  leyanpan

  committed
  022e649

  Copy full SHA for 022e649

• make server change

  leyanpan

  committed
  43ecb20

  Copy full SHA for 43ecb20

• Merge remote-tracking branch 'origin/main'

  leyanpan

  committed
  7e80dad

  Copy full SHA for 7e80dad

Commits on Jan 23, 2024

• Update code for classification evaluation

  leyanpan

  committed
  32aeac3

  Copy full SHA for 32aeac3

• Merge branch 'main' of github.gatech.edu:LLM-Formal-Reasoning/nanoGPT_SAT

  leyanpan

  committed
  02799e7

  Copy full SHA for 02799e7

• Windows Client Changes

  leyanpan

  committed
  6596324

  Copy full SHA for 6596324

• Merge pull request #2 from LLM-Formal-Reasoning/main

  Show description for c2db691
  

  leyanpan

  authored and

  GitHub Enterprise

  committed
  c2db691

  Copy full SHA for c2db691

• Merge branch 'master' of github.gatech.edu:LLM-Formal-Reasoning/nanoGPT_SAT

  leyanpan

  committed
  f62d523

  Copy full SHA for f62d523

Commits on Jan 27, 2024

• Add debug option and debug logs

  leyanpan

  committed
  d6e824d

  Copy full SHA for d6e824d

Commits on Dec 20, 2024

• Update model

  leyanpan

  committed
  01d2d3c

  Copy full SHA for 01d2d3c

Commits on Jan 5, 2025

• Updates

  leyanpan

  committed
  ba3b143

  Copy full SHA for ba3b143

• added requirements defined here - �[200~Option 1 - Flag

  Show description for da59cf2
  cesposo

  committed
  da59cf2

  Copy full SHA for da59cf2

• added the mechanisms for reqs from December 18 meeting

  cesposo

  committed
  6fd8ccc

  Copy full SHA for 6fd8ccc