Upload with huggingface_hub

app.py

@@ -0,0 +1,27 @@
+# Notebook to answer a math problem with code.
+# Adapted from Dust [maths-generate-code](https://dust.tt/spolu/a/d12ac33169)
+
+import minichain
+
+# Prompt that asks LLM for code from math.
+
+class MathPrompt(minichain.TemplatePrompt[str]):
+    template_file = "math.pmpt.tpl"
+
+# Ask a question and run it as python code.
+
+with minichain.start_chain("math") as backend:
+    question = "What is the sum of the powers of 3 (3^i) that are smaller than 100?"
+    prompt = MathPrompt(backend.OpenAI()).chain(minichain.SimplePrompt(backend.Python()))
+    result = prompt({"question": question})
+    print(result)
+
+# View the prompt
+
+# + tags=["hide_inp"]
+MathPrompt().show({"question": "What is 10 + 12?"}, "10 + 12")
+# -
+
+# View the log
+
+minichain.show_log("math.log")

math.pmpt.tpl

@@ -0,0 +1,25 @@
+Question:
+What is 37593 * 67?
+Code:
+37593 * 67
+
+Question:
+Janet's ducks lay 16 eggs per day. She eats three for breakfast every morning and bakes muffins for her friends every day with four. She sells the remainder at the farmers' market daily for $2 per fresh duck egg. How much in dollars does she make every day at the farmers' market?
+Code:
+(16-3-4)*2
+
+Question:
+How many of the integers between 0 and 99 inclusive are divisible by 8?
+Code:
+count = 0
+for i in range(0, 99+1):
+  if i % 8 == 0: count += 1
+
+Question:
+A robe takes 2 bolts of blue fiber and half that much white fiber. How many bolts in total does it take?
+Code:
+2 + 2/2
+
+Question:
+{{question}}
+Code:

requirements.txt

@@ -0,0 +1,3 @@
+gradio
+git+https://github.com/srush/minichain
+manifest-ml