Code

Learning#1

Code

Closed

AlexandreDubray wants to merge 118 commits intomainaia-uclouvain/schlandals:mainfrom learningaia-uclouvain/schlandals:learningCopy head branch name to clipboard

+4,353-1,606

Commits

Commits on Oct 31, 2023

• compute the gradients for a single dac + python access to it

  luciledierckx

  committed
  8310f90

  Copy full SHA for 8310f90

• learning module + dac strucutre

  luciledierckx

  committed
  324e652

  Copy full SHA for 324e652

• add preprocessing to the compiler

  luciledierckx

  committed
  d1a24d7

  Copy full SHA for d1a24d7

• correction initialisation dac

  luciledierckx

  committed
  9eea428

  Copy full SHA for 9eea428

• end debugging

  luciledierckx

  committed
  2fe3948

  Copy full SHA for 2fe3948

Commits on Nov 2, 2023

• training loop + integration of learning to main

  luciledierckx

  committed
  d812c74

  Copy full SHA for d812c74

Commits on Nov 3, 2023

• add of a logger and of a timeout for compilation

  luciledierckx

  committed
  33ec86b

  Copy full SHA for 33ec86b

Commits on Nov 6, 2023

• small correction of expected distributions

  luciledierckx

  committed
  0b67c3f

  Copy full SHA for 0b67c3f

• Compiling prints

  luciledierckx

  committed
  9b53f6d

  Copy full SHA for 9b53f6d

• init of dac without distributions to make it lighter + correction log + start fdac files

  luciledierckx

  committed
  38982f4

  Copy full SHA for 38982f4

Commits on Nov 7, 2023

• add real distrib value: to use dac without learner

  luciledierckx

  committed
  7fec6c4

  Copy full SHA for 7fec6c4

Commits on Nov 8, 2023

• create fdac and fdist files + read from them

  luciledierckx

  committed
  c33d3c7

  Copy full SHA for c33d3c7

Commits on Nov 21, 2023

• approx learner (not branching yet)+detailed logger

  luciledierckx

  committed
  4858789

  Copy full SHA for 4858789

Commits on Nov 22, 2023

• branching limited

  luciledierckx

  committed
  5eb0056

  Copy full SHA for 5eb0056

• compute the gradients for a single dac + python access to it

  luciledierckx

  committed
  356f9e6

  Copy full SHA for 356f9e6

• learning module + dac strucutre

  luciledierckx

  committed
  9e65b75

  Copy full SHA for 9e65b75

• add preprocessing to the compiler

  luciledierckx

  committed
  adb44cb

  Copy full SHA for adb44cb

• correction initialisation dac

  luciledierckx

  committed
  bae9fcd

  Copy full SHA for bae9fcd

• end debugging

  luciledierckx

  committed
  2a2c682

  Copy full SHA for 2a2c682

• training loop + integration of learning to main

  luciledierckx

  committed
  ddccab9

  Copy full SHA for ddccab9

• add of a logger and of a timeout for compilation

  luciledierckx

  committed
  5b18274

  Copy full SHA for 5b18274

• small correction of expected distributions

  luciledierckx

  committed
  a8e595c

  Copy full SHA for a8e595c

• Compiling prints

  luciledierckx

  committed
  a1c990a

  Copy full SHA for a1c990a

• init of dac without distributions to make it lighter + correction log + start fdac files

  luciledierckx

  committed
  00c2f0a

  Copy full SHA for 00c2f0a

• add real distrib value: to use dac without learner

  luciledierckx

  committed
  6a95601

  Copy full SHA for 6a95601

• create fdac and fdist files + read from them

  luciledierckx

  committed
  c871fb0

  Copy full SHA for c871fb0

• approx learner (not branching yet)+detailed logger

  luciledierckx

  committed
  263851d

  Copy full SHA for 263851d

• branching limited

  luciledierckx

  committed
  39cfb4d

  Copy full SHA for 39cfb4d

• branching limited: is constrained

  luciledierckx

  committed
  3b962f0

  Copy full SHA for 3b962f0

• Merge branch 'learning' of https://github.com/aia-uclouvain/schlandals into learning

  luciledierckx

  committed
  91e5fc4

  Copy full SHA for 91e5fc4

• delete branching limited (use limited instead)

  luciledierckx

  committed
  a122244

  Copy full SHA for a122244

Commits on Nov 24, 2023

• update approx

  luciledierckx

  committed
  bea7dca

  Copy full SHA for bea7dca

Commits on Nov 27, 2023

• unify learner + allows partial compilation/search

  AlexandreDubray

  committed
  6b7b375

  Copy full SHA for 6b7b375

• change counting for approx + small correction

  luciledierckx

  committed
  79befb1

  Copy full SHA for 79befb1

• correction is_node_incomplete + log

  luciledierckx

  committed
  4719181

  Copy full SHA for 4719181

Commits on Nov 28, 2023

• only add decision to partially compiled node + reduce size of output circuit file

  AlexandreDubray

  committed
  d645365

  Copy full SHA for d645365

• skip forced value in propagator assignment iter

  AlexandreDubray

  committed
  49840d5

  Copy full SHA for 49840d5

• partial learning: correction of approximate solver use

  luciledierckx

  committed
  e74cd00

  Copy full SHA for e74cd00

Commits on Nov 30, 2023

• Patial DAC works with lb and prefix_proba

  luciledierckx

  committed
  c9e6538

  Copy full SHA for c9e6538

• adaptative lr + mae loss

  luciledierckx

  committed
  6ed3ea3

  Copy full SHA for 6ed3ea3

• simple early stopping

  luciledierckx

  committed
  1f40718

  Copy full SHA for 1f40718

Commits on Dec 5, 2023

• changes used for pyschlandals

  luciledierckx

  committed
  64668af

  Copy full SHA for 64668af

• add multi-threading for dac evaluation + small reorganization

  AlexandreDubray

  committed
  b63e576

  Copy full SHA for b63e576

• stop distribution reset when layer > 0

  AlexandreDubray

  committed
  5a84d06

  Copy full SHA for 5a84d06

Commits on Dec 6, 2023

• correction dac reset + log at each epoch and training timeout

  luciledierckx

  committed
  5418b1f

  Copy full SHA for 5418b1f

Commits on Dec 7, 2023

• updates for pytorch

  luciledierckx

  committed
  b93c9f2

  Copy full SHA for b93c9f2

Commits on Dec 8, 2023

• log methods for torch + csv file and prints

  luciledierckx

  committed
  fba14e0

  Copy full SHA for fba14e0

• approx eval only every x epochs + no distri dist in log

  luciledierckx

  committed
  1fddd12

  Copy full SHA for 1fddd12

• update logg

  luciledierckx

  committed
  28316a0

  Copy full SHA for 28316a0

Commits on Dec 10, 2023

• small error correction in dac reduce function

  luciledierckx

  committed
  317ba26

  Copy full SHA for 317ba26

Commits on Dec 12, 2023

• correction of inputs vector error

  luciledierckx

  committed
  799aceb

  Copy full SHA for 799aceb

• correction early stopping

  luciledierckx

  committed
  27ba374

  Copy full SHA for 27ba374

Commits on Dec 13, 2023

• njobs + rnd seed

  luciledierckx

  committed
  47bbc1f

  Copy full SHA for 47bbc1f

Commits on Dec 14, 2023

• fix upper bound computation

  AlexandreDubray

  committed
  a92490f

  Copy full SHA for a92490f

• change of remove dead end + clear distrib mapping

  luciledierckx

  committed
  d9cfee2

  Copy full SHA for d9cfee2

• some small updates

  AlexandreDubray

  committed
  0e28e66

  Copy full SHA for 0e28e66

Commits on Dec 15, 2023

• path value correction

  luciledierckx

  committed
  88f0a4f

  Copy full SHA for 88f0a4f

• fix preprocessing value

  AlexandreDubray

  committed
  1959ad6

  Copy full SHA for 1959ad6

• fix bounds computation with partial solving

  AlexandreDubray

  committed
  8d68a73

  Copy full SHA for 8d68a73

Commits on Dec 16, 2023

• allow to branch on only a subset of the distributions

  AlexandreDubray

  committed
  5590813

  Copy full SHA for 5590813

Commits on Dec 17, 2023

• fix componetn update when adding learned clause

  AlexandreDubray

  committed
  a2bac10

  Copy full SHA for a2bac10

• dispatch search-solver function in mode.rs

  AlexandreDubray

  committed
  4d0a173

  Copy full SHA for 4d0a173

• correctly choose a distribution from a clause

  AlexandreDubray

  committed
  2fef9e7

  Copy full SHA for 2fef9e7

Commits on Dec 18, 2023

• add coverage for all distributions in the queries for learner

  AlexandreDubray

  committed
  b395e38

  Copy full SHA for b395e38

Commits on Dec 20, 2023

• remove rlearned ratio, use line in CNF file instead

  AlexandreDubray

  committed
  868df88

  Copy full SHA for 868df88

Commits on Dec 23, 2023

• Allow DAC to work on any semiring

  AlexandreDubray

  committed
  b8d688b

  Copy full SHA for b8d688b

• correctly set up tensor, still need to require grad and update parameters

  AlexandreDubray

  committed
  22851a6

  Copy full SHA for 22851a6

Commits on Dec 24, 2023

• backward step for torch

  AlexandreDubray

  committed
  7e17521

  Copy full SHA for 7e17521

Commits on Dec 27, 2023

• Add specialized learner for tensor based learning

  AlexandreDubray

  committed
  56a5ea0

  Copy full SHA for 56a5ea0

• add command line argument for optimizer

  AlexandreDubray

  committed
  24096b2

  Copy full SHA for 24096b2

• add automatic detection of difficult branch for partial compilation

  AlexandreDubray

  committed
  5af37d0

  Copy full SHA for 5af37d0

Commits on Dec 28, 2023

• use scalar-tensor + log for tensor-based learning

  AlexandreDubray

  committed
  5e1d5ad

  Copy full SHA for 5e1d5ad

• update partial compiler + correctly detect USAT sub-circuit

  AlexandreDubray

  committed
  6d8e709

  Copy full SHA for 6d8e709

Commits on Dec 29, 2023

• early stopping and adaptative learning torch

  luciledierckx

  committed
  7c651d7

  Copy full SHA for 7c651d7

• fix detection of partial node in compilation

  AlexandreDubray

  committed
  cb9c7d0

  Copy full SHA for cb9c7d0

• complete cnf path in csv

  luciledierckx

  committed
  5c189b9

  Copy full SHA for 5c189b9

Commits on Jan 2, 2024

• remove random init

  luciledierckx

  committed
  98b7d23

  Copy full SHA for 98b7d23

• tensor loss not averaged + cleaning

  luciledierckx

  committed
  30fcc47

  Copy full SHA for 30fcc47

Commits on Jan 5, 2024

• removing branch approx + remove unsat approx + faster

  luciledierckx

  committed
  f8bba80

  Copy full SHA for f8bba80

Commits on Jan 6, 2024

• Share learned clauses between compilation and solving + various fixes

  AlexandreDubray

  committed
  150d582

  Copy full SHA for 150d582

• correction gradient computation

  luciledierckx

  committed
  d630a01

  Copy full SHA for d630a01

• correction gradient computation

  luciledierckx

  committed
  113747f

  Copy full SHA for 113747f

• small correction

  luciledierckx

  committed
  59d96d8

  Copy full SHA for 59d96d8

Commits on Jan 8, 2024

• use correct bounding factor in partially compiled diagrams

  AlexandreDubray

  committed
  4155b9a

  Copy full SHA for 4155b9a

• if epsilon

  luciledierckx

  committed
  db3f3fd

  Copy full SHA for db3f3fd

• Merge branch 'learning' of https://github.com/aia-uclouvain/schlandals into learning

  luciledierckx

  committed
  f9bd31e

  Copy full SHA for f9bd31e

Commits on Jan 10, 2024

• if condition

  luciledierckx

  committed
  dd42e25

  Copy full SHA for dd42e25

• correctly branch with solver in partial compilation

  AlexandreDubray

  committed
  8a8baea

  Copy full SHA for 8a8baea

• Merge branch 'learning' of https://github.com/aia-uclouvain/schlandals into learning

  luciledierckx

  committed
  88e8022

  Copy full SHA for 88e8022

• modify branching for partial compiler

  AlexandreDubray

  committed
  3cec981

  Copy full SHA for 3cec981

• distribution_learned + predictions in log

  luciledierckx

  committed
  e942214

  Copy full SHA for e942214

• Merge branch 'learning' of https://github.com/aia-uclouvain/schlandals into learning

  luciledierckx

  committed
  cab36c2

  Copy full SHA for cab36c2

• directly evalute partial node in compilation

  AlexandreDubray

  committed
  4cfdc8b

  Copy full SHA for 4cfdc8b

Commits on Jan 11, 2024

• correctly compute partial nodes bound

  luciledierckx

  committed
  b33fd1c

  Copy full SHA for b33fd1c

• add epsilon to compile arg

  AlexandreDubray

  committed
  ad08ff6

  Copy full SHA for ad08ff6

• testfile

  luciledierckx

  committed
  b8731ac

  Copy full SHA for b8731ac

Commits on Jan 12, 2024

• todo

  luciledierckx

  committed
  771faca

  Copy full SHA for 771faca

Commits on Jan 13, 2024

• correction testing

  luciledierckx

  committed
  6e9bc86

  Copy full SHA for 6e9bc86

Commits on Jan 14, 2024

• testing also before training

  luciledierckx

  committed
  29ec4d5

  Copy full SHA for 29ec4d5

Commits on Jan 18, 2024

• small clean of learner

  AlexandreDubray

  committed
  70548eb

  Copy full SHA for 70548eb

Commits on Jan 19, 2024

• Start cleaning diagrams module

  AlexandreDubray

  committed
  19d824a

  Copy full SHA for 19d824a

Commits on Jan 23, 2024

• Use compiler and DPLL search as unified solver

  AlexandreDubray

  committed
  62d7c2b

  Copy full SHA for 62d7c2b

Commits on Jan 24, 2024

• some more cleaning

  AlexandreDubray

  committed
  0bceb12

  Copy full SHA for 0bceb12

• Tensor-based learning as feature not enabled by default

  AlexandreDubray

  committed
  9154f0e

  Copy full SHA for 9154f0e

• update pyschlandals

  AlexandreDubray

  committed
  237f146

  Copy full SHA for 237f146

• cleaning

  luciledierckx

  committed
  aedf22a

  Copy full SHA for aedf22a

• Merge branch 'learning' of https://github.com/aia-uclouvain/schlandals into learning

  luciledierckx

  committed
  e5609e0

  Copy full SHA for e5609e0

• push skeleton for new doc

  AlexandreDubray

  committed
  223bae7

  Copy full SHA for 223bae7

• learn parameters

  luciledierckx

  committed
  f151add

  Copy full SHA for f151add

• addition of the logger

  luciledierckx

  committed
  5fc135a

  Copy full SHA for 5fc135a

• [doc] Modelization

  AlexandreDubray

  committed
  03ebb53

  Copy full SHA for 03ebb53

Commits on Jan 25, 2024

• [doc] install + small update

  AlexandreDubray

  committed
  b7ce524

  Copy full SHA for b7ce524

• update publish.yml

  AlexandreDubray

  committed
  dc9843d

  Copy full SHA for dc9843d

• [pyschlandals] Add compilation in python interface

  AlexandreDubray

  committed
  0250aec

  Copy full SHA for 0250aec

• Add more doc

  AlexandreDubray

  committed
  67b8f06

  Copy full SHA for 67b8f06

• learners description

  luciledierckx

  committed
  3303dab

  Copy full SHA for 3303dab

• Merge branch 'learning' of https://github.com/aia-uclouvain/schlandals into learning

  luciledierckx

  committed
  5dd02c1

  Copy full SHA for 5dd02c1

• doc learning

  luciledierckx

  committed
  3178d82

  Copy full SHA for 3178d82