ethox How the prover works Constraints: Input sequence should have shape (1,57,4) Output is a 1x2 tensor classifier whether the gene is a promoter or not. i.e. [[0.5611463,0.4388537]] takes 20 seconds to run