Code

NeuroSMT solver#130

Code

Draft

stephen-ostapenko wants to merge 53 commits intoUnitTestBot:mainUnitTestBot/ksmt:mainfrom vlomshakov:neurosmtvlomshakov/ksmt:neurosmtCopy head branch name to clipboard

+2,095

Commits

Commits on Jul 5, 2023

• implement stub for neurosmt

  stephen-ostapenko

  committed
  3549fe8

  Copy full SHA for 3549fe8

Commits on Jul 19, 2023

• set up gradle

  stephen-ostapenko

  committed
  dcce69b

  Copy full SHA for dcce69b

• SMT formula graph extractor

  stephen-ostapenko

  committed
  5f06f9d

  Copy full SHA for 5f06f9d

Commits on Jul 20, 2023

• some fixes for extractor

  stephen-ostapenko

  committed
  4ae03cc

  Copy full SHA for 4ae03cc

• another fix

  stephen-ostapenko

  committed
  c5c7e71

  Copy full SHA for c5c7e71

Commits on Jul 21, 2023

• fuck python

  stephen-ostapenko

  committed
  0236f09

  Copy full SHA for 0236f09

• yet another fix

  stephen-ostapenko

  committed
  13de179

  Copy full SHA for 13de179

Commits on Jul 25, 2023

• more fixes

  stephen-ostapenko

  committed
  a6999eb

  Copy full SHA for a6999eb

• aaaaaaaaaaaaa

  stephen-ostapenko

  committed
  98dc958

  Copy full SHA for 98dc958

Commits on Jul 26, 2023

• train baseline

  stephen-ostapenko

  committed
  58791a4

  Copy full SHA for 58791a4

• train baseline

  stephen-ostapenko

  committed
  fab60e8

  Copy full SHA for fab60e8

• Merge remote-tracking branch 'origin/neurosmt-training' into neurosmt-training

  Show description for deb0343
  stephen-ostapenko

  committed
  deb0343

  Copy full SHA for deb0343

Commits on Jul 27, 2023

• fix major bug

  stephen-ostapenko

  committed
  829c45d

  Copy full SHA for 829c45d

• add roc-auc and more layers in decoder

  stephen-ostapenko

  committed
  9091a71

  Copy full SHA for 9091a71

• some refactoring

  stephen-ostapenko

  committed
  c5fdbc1

  Copy full SHA for c5fdbc1

Commits on Jul 28, 2023

• sandboxing

  stephen-ostapenko

  committed
  dcb2c1e

  Copy full SHA for dcb2c1e

Commits on Aug 1, 2023

• add pytorch-lightning and tensorboard

  stephen-ostapenko

  committed
  ce00214

  Copy full SHA for ce00214

• i forgot model

  stephen-ostapenko

  committed
  2ffa9b4

  Copy full SHA for 2ffa9b4

• adjust floating point precision

  stephen-ostapenko

  committed
  3a689f8

  Copy full SHA for 3a689f8

• add checkpointing

  stephen-ostapenko

  committed
  09ef95a

  Copy full SHA for 09ef95a

• refactor

  stephen-ostapenko

  committed
  6bfe3b6

  Copy full SHA for 6bfe3b6

• fix backdoor

  stephen-ostapenko

  committed
  c787a29

  Copy full SHA for c787a29

• align sat/unsat sizes

  stephen-ostapenko

  committed
  ad9d65d

  Copy full SHA for ad9d65d

• fix checkpointing

  stephen-ostapenko

  committed
  4ce4ad8

  Copy full SHA for 4ce4ad8

• add validation script

  stephen-ostapenko

  committed
  ccf7177

  Copy full SHA for ccf7177

Commits on Aug 2, 2023

• new logic of data loading

  stephen-ostapenko

  committed
  02a959b

  Copy full SHA for 02a959b

• adjust train/val scripts to new data loading process

  stephen-ostapenko

  committed
  0bdd180

  Copy full SHA for 0bdd180

• refactoring

  stephen-ostapenko

  committed
  bc590f9

  Copy full SHA for bc590f9

• add ksmt binary files processing

  stephen-ostapenko

  committed
  bbc3c5e

  Copy full SHA for bbc3c5e

• refactoring

  stephen-ostapenko

  committed
  e0b644d

  Copy full SHA for e0b644d

Commits on Aug 3, 2023

• refactoring 2

  stephen-ostapenko

  committed
  5546453

  Copy full SHA for 5546453

Commits on Aug 10, 2023

• train/test/val split with groups to avoid data leaks

  stephen-ostapenko

  committed
  5c6bb72

  Copy full SHA for 5c6bb72

• commit for main split file

  stephen-ostapenko

  committed
  7893f94

  Copy full SHA for 7893f94

• small refactor

  stephen-ostapenko

  committed
  40a483a

  Copy full SHA for 40a483a

• add confusion matrix for val and test

  stephen-ostapenko

  committed
  da66e8f

  Copy full SHA for da66e8f

Commits on Aug 17, 2023

• modify model input to save in onnx format

  stephen-ostapenko

  committed
  24b933a

  Copy full SHA for 24b933a

• add kotlin runtime for model

  stephen-ostapenko

  committed
  7cb1af4

  Copy full SHA for 7cb1af4

Commits on Aug 18, 2023

• fix bug in runtime and change conv type

  stephen-ostapenko

  committed
  59f7839

  Copy full SHA for 59f7839

• move python files to new module

  stephen-ostapenko

  committed
  65d8bba

  Copy full SHA for 65d8bba

Commits on Aug 22, 2023

• add node-wise features

  stephen-ostapenko

  committed
  13b85fd

  Copy full SHA for 13b85fd

• refactor

  stephen-ostapenko

  committed
  6b8a120

  Copy full SHA for 6b8a120

Commits on Aug 23, 2023

• update target type + additional metrics

  stephen-ostapenko

  committed
  9b777cb

  Copy full SHA for 9b777cb

• refactor graph extractor and some other stuff

  stephen-ostapenko

  committed
  ff4dc62

  Copy full SHA for ff4dc62

Commits on Aug 24, 2023

• add standalone model runner for hand benchmarking

  stephen-ostapenko

  committed
  8460715

  Copy full SHA for 8460715

• add model export script

  stephen-ostapenko

  committed
  8b42598

  Copy full SHA for 8b42598

Commits on Aug 25, 2023

• add type hints, some comments and global constants in external file

  stephen-ostapenko

  committed
  5cbfbb8

  Copy full SHA for 5cbfbb8

• add model run time stats

  stephen-ostapenko

  committed
  ce79d98

  Copy full SHA for ce79d98

• add requirements.txt

  stephen-ostapenko

  committed
  0cda4ac

  Copy full SHA for 0cda4ac

• add basic ksmt integration

  stephen-ostapenko

  committed
  42ed4c5

  Copy full SHA for 42ed4c5

• add comments for kotlin code

  stephen-ostapenko

  committed
  9320f96

  Copy full SHA for 9320f96

• add model resource files

  stephen-ostapenko

  committed
  dd840ef

  Copy full SHA for dd840ef

• update code for usvm-formulas export

  stephen-ostapenko

  committed
  63740f7

  Copy full SHA for 63740f7

Commits on Aug 31, 2023

• remove sandboxes

  stephen-ostapenko

  committed
  9fd38c4

  Copy full SHA for 9fd38c4