Upload with huggingface_hub

app.py

@@ -0,0 +1,42 @@
+# + tags=["hide_inp"]
+desc = """
+### Word Problem Solver
+
+Chain that solves a math word problem by first generating and then running Python code. [[Code](https://github.com/srush/MiniChain/blob/main/examples/math.py)]
+
+(Adapted from Dust [maths-generate-code](https://dust.tt/spolu/a/d12ac33169))
+"""
+# -
+
+# $
+
+from minichain import show, prompt, OpenAI, Python
+
+
+@prompt(OpenAI(), template_file="math.pmpt.tpl")
+def pal_prompt(model, question):
+    return model(dict(question=question))
+
+
+@prompt(Python())
+def python(model, inp):
+    return int(model(inp + "\nprint(solution())"))
+
+def math_demo(question):
+    return python(pal_prompt(question))
+
+# $
+    
+# + tags=["hide_inp"]    
+gradio = show(math_demo,
+              examples=["What is the sum of the powers of 3 (3^i) that are smaller than 100?",
+                        "What is the sum of the 10 first positive integers?",
+                        "Carla is downloading a 200 GB file. She can download 2 GB/minute, but 40% of the way through the download, the download fails. Then Carla has to restart the download from the beginning. How load did it take her to download the file in minutes?"],
+              out_type="markdown",
+              description=desc,
+              code=open("math_demo.py", "r").read().split("$")[1].strip().strip("#").strip(),
+              )
+if __name__ == "__main__":
+    gradio.launch()
+# -
+    

requirements.txt

@@ -0,0 +1,4 @@
+gradio==3.21.0
+git+https://github.com/srush/minichain@gradio
+manifest-ml
+faiss-cpu