tested disk

.gitignore

@@ -174,5 +174,5 @@ tool_cache/
 detected_objects/
 
 # [Gradio]
-demo_solver_cache/
+# demo_solver_cache/
 backups/

app.py

@@ -291,10 +291,11 @@ def main(args):
                     
         [Website](https://octotools.github.io/) | 
         [Github](https://github.com/octotools/octotools) | 
-        [arXiv](https://github.com/octotools/octotools/assets/paper.pdf) | 
-        [Paper](https://github.com/octotools/octotools/assets/paper.pdf) | 
+        [arXiv](https://arxiv.org/abs/2502.xxxxx) | 
+        [Paper](https://arxiv.org/pdf/2502.xxxxx) | 
         [Tool Cards](https://octotools.github.io/#tool-cards) | 
-        [Example Visualizations](https://octotools.github.io/#visualization)
+        [Example Visualizations](https://octotools.github.io/#visualization) | 
+        [Discord](https://discord.gg/NMJx66DC)
         """)
 
         with gr.Row():

demo_solver_cache/20250217_062225_8ce3e482/user_feedback.json

@@ -0,0 +1,22 @@
+[
+  {
+    "timestamp": "20250217_062307",
+    "feedback_type": "upvote",
+    "comment": null
+  },
+  {
+    "timestamp": "20250217_062315",
+    "feedback_type": "downvote",
+    "comment": null
+  },
+  {
+    "timestamp": "20250217_062322",
+    "feedback_type": "upvote",
+    "comment": null
+  },
+  {
+    "timestamp": "20250217_062333",
+    "feedback_type": "It is helpful!",
+    "comment": null
+  }
+]

demo_solver_cache/20250217_063316_09285db1/user_feedback.json

@@ -0,0 +1,12 @@
+[
+    {
+        "timestamp": "20250217_063350",
+        "feedback_type": "upvote",
+        "comment": null
+    },
+    {
+        "timestamp": "20250217_063359",
+        "feedback_type": "Thanks! It is interesting!",
+        "comment": null
+    }
+]

demo_solver_cache/20250217_183323_b0e58b32/user_feedback.json

@@ -0,0 +1,32 @@
+[
+    {
+        "timestamp": "20250217_190313",
+        "feedback_type": "upvote",
+        "comment": null
+    },
+    {
+        "timestamp": "20250217_190319",
+        "feedback_type": "downvote",
+        "comment": null
+    },
+    {
+        "timestamp": "20250217_190321",
+        "feedback_type": "upvote",
+        "comment": null
+    },
+    {
+        "timestamp": "20250217_190322",
+        "feedback_type": "downvote",
+        "comment": null
+    },
+    {
+        "timestamp": "20250217_190338",
+        "feedback_type": "Thanks! It is interesting!",
+        "comment": null
+    },
+    {
+        "timestamp": "20250217_190341",
+        "feedback_type": "Thanks! It is interesting!",
+        "comment": null
+    }
+]