teobaluta/NPAQ

Issues

• Identifiers of BNN inputs and outputs in DIMACS file

  #43 opened 2 years ago by supratik1
  4

• Incorrect DIMACS header for trojan benchmarks

  #41 opened 2 years ago by tanyongkiam
  2

• Serious issue with control reaching end of non-void function

  #29 opened 3 years ago by msoos
  1

• A Question about Input Data

  #18 opened 2 years ago by zhangyedi
  3

• Input features' CNF-encoding and mapping variables to features

  #17 opened 2 years ago by allrtaken
  1

• About eps=1e-05 parameter in BN layer

  #13 opened 2 years ago by zhangyedi
  1

• About running result

  #19 opened 2 years ago by zhangyedi
  2

• Trojaned model & tojan trigger

  #14 opened 4 years ago by arnabsharma91
  2

• Too many values to unpack

  #11 opened 4 years ago by zhangyedi
  1

• Encoding to CNF for any BNN

  #10 opened 4 years ago by arnabsharma91
  2