improve output

Author: ckrause

loda/ml/keras/program_generation_rnn.py

@@ -95,6 +95,8 @@ def summary(self, line_length=None, positions=None, print_fn=None,
         print("Sample size:", self.sample_size)
         print("Trained samples:", self.num_samples)
         print("Trained programs:", len(self.program_ids))
+        print("Operation per sample:", self.num_ops_per_sample)
+        print("Nop separators:", self.num_nops_separator)
 
     @classmethod
     def from_config(cls, config):
@@ -237,8 +239,8 @@ def get_stats_info_str(self) -> str:
         generated programs: 233, speed: 17.43 programs/s, token errors: 0.03%, program errors: 6.01%, separator overhead: -0.40%
         ```
         """
-        separator_overhead = 1 - (self.num_generated_nops /
-                                  (self.num_generated_programs * self.model.num_nops_separator))
+        separator_overhead = (
+            self.num_generated_nops / (self.num_generated_programs * self.model.num_nops_separator)) - 1
         return "generated programs: {}, speed: {:.2f} programs/s, token errors: {:.2f}%, program errors: {:.2f}%, separator overhead: {:.2f}%".format(
             self.num_generated_programs,
             self.num_generated_programs / (time.time() - self.start_time),

mine.py

@@ -1,6 +1,7 @@
 import datetime
 import os.path
 
+from loda.lang import Operation, Program
 from loda.oeis import ProgramCache, Sequence
 from loda.runtime import Interpreter
 from loda.mine import Miner
@@ -11,7 +12,9 @@ def mine(model_path: str):
 
     model = load_model(model_path)
     model.summary()
-    generator = Generator(model, num_lanes=10)
+    initial_program = Program()
+    initial_program.operations.append(Operation("mov $1,1"))
+    generator = Generator(model, initial_program=initial_program, num_lanes=10)
     programs_dir = os.path.expanduser("~/loda/programs/oeis")
     program_cache = ProgramCache(programs_dir)
     ignore_ids = set()
@@ -28,10 +31,10 @@ def mine(model_path: str):
     while True:
         miner()
         i += 1
-        if i % 100 == 0:
+        if i % 10 == 0:
             ct = datetime.datetime.now()
             print(ct, generator.get_stats_info_str())
 
 
 if __name__ == "__main__":
-    mine(os.path.expanduser("~/scripts/model-001"))
+    mine(os.path.expanduser("~/scripts/model-075"))