[Paper] add paper html

index.html

@@ -31,11 +31,6 @@
                         if (route == 'demo') {
                             showCodeExample(1);
                         }
-                    } else if (route == "paper") {
-                        let link = document.createElement('a');
-                        link.href = 'assets/pdf/bugsynth.pdf';
-                        link.download = 'paper.pdf';
-                        link.click();
                     } else {
                         document.getElementById('content').innerHTML = '<p>Error loading page.</p>';
                     }
@@ -44,9 +39,12 @@
                 }
             }
 
-            // Default route
-            loadPage('demo');
-            loadPage('people');
+            // Load each files in order
+            (async () => {
+                await loadPage('demo');
+                await loadPage('people');
+                await loadPage('paper');
+            })()
         });
     </script>
     <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/default.min.css">

page/demo.html

@@ -48,12 +48,4 @@ <h2 class="text-3xl font-semibold mb-8 text-center">Video Demo</h2>
         </video>
     </div>
     </section>
-
-    <!-- Figure Section -->
-    <section class="mb-12 w-full"></section>
-    <h2 class="text-3xl font-semibold mb-8 text-center">Figure</h2>
-    <div class="flex justify-center w-full">
-        <img src="assets/image/flowchart.png" alt="Demo Figure" class="w-full max-w-3xl rounded shadow-md">
-    </div>
-    </section>
 </div>

page/paper.html

@@ -0,0 +1,12 @@
+<div class="flex flex-col items-center mt-10 p-4">
+    <section class="mb-12 text-center max-w-3xl"> 
+        <div class="flex flex-col space-y-16">
+             <!-- Abstract Section -->
+            <section class="mb-12 w-full"></section>
+            <h2 class="text-3xl font-semibold mb-8" id="paper">Paper</h2>
+            <a href="assets/pdf/bugsynth.pdf">[Full pdf]</a>
+            <p align="left">This paper presents BugSynth, a tool that automatically generates buggy programs by combining language models and program verification techniques. While error benchmarks are becoming increasingly important for evaluating error detectors and addressing the issue of insufficient training data for language models, existing methods for constructing these benchmarks have some limitations. BugSynth automatically generates programs with clearly defined locations of division-by-zero bugs without requiring the original program. Experimental results show that BugSynth achieved a 51% success rate in generation, and it was confirmed that the benchmarks constructed are of similar difficulty to those created by humans when evaluating static analyzers.</p>
+            </section>            
+        </div>
+    </section>
+</div>