ayushnoori commited on
Commit
6af8042
·
1 Parent(s): 843cbaa

Update demo

Browse files
Files changed (1) hide show
  1. app.py +2 -2
app.py CHANGED
@@ -50,7 +50,7 @@ program_bank = extract_constants(examples)
50
  program_bank_str = [p.str() for p in program_bank]
51
  print("\nSynthesis Log:")
52
  print(f"- Extracted {len(program_bank)} constants from examples.")
53
- st.write(f"Extracted {len(program_bank)} constants from examples.")
54
 
55
  # define operators
56
  if domain == "arithmetic":
@@ -69,7 +69,7 @@ for weight in range(2, max_weight):
69
 
70
  # print message
71
  print(f"- Searching level {weight} with {len(program_bank)} primitives.")
72
- st.write(f"Searching level {weight} with {len(program_bank)} primitives.")
73
 
74
  # iterate over each operator
75
  for op in operators:
 
50
  program_bank_str = [p.str() for p in program_bank]
51
  print("\nSynthesis Log:")
52
  print(f"- Extracted {len(program_bank)} constants from examples.")
53
+ st.markdown(f"* Extracted {len(program_bank)} constants from examples.")
54
 
55
  # define operators
56
  if domain == "arithmetic":
 
69
 
70
  # print message
71
  print(f"- Searching level {weight} with {len(program_bank)} primitives.")
72
+ st.markdown(f"* Searching level {weight} with {len(program_bank)} primitives.")
73
 
74
  # iterate over each operator
75
  for op in operators: