Add TEX-T

Author: nielstron

docs/approaches.csv

@@ -13,4 +13,5 @@ AutoCodeRover,https://autocoderover.dev,autocoderover,https://github.com/logic-s
 LIBRO,https://arxiv.org/abs/2209.11515,kaist,https://github.com/logic-star-ai/swt-bench?tab=readme-ov-file#evaluation-results
 Otter++,https://arxiv.org/abs/2502.05368v1,ibm,https://files.sri.inf.ethz.ch/swt-bench/otter/
 Otter,https://arxiv.org/abs/2502.05368v1,ibm,https://files.sri.inf.ethz.ch/swt-bench/otter/
-LogicStar AI,https://logicstar.ai/,logicstar,https://github.com/logic-star-ai/swt-bench?tab=readme-ov-file#evaluation-results
+LogicStar AI,https://logicstar.ai/,logicstar,https://github.com/logic-star-ai/swt-bench?tab=readme-ov-file#evaluation-results
+TEX-T,https://akashgokul.github.io/TEX/,salesforce,https://github.com/logic-star-ai/swt-bench?tab=readme-ov-file#evaluation-results

docs/orgs.csv

@@ -9,4 +9,5 @@ swe-agent,SWE-agent,https://swe-agent.com/,./static/images/logos/swe-agent.svg
 aider,Aider,https://aider.chat/,./static/images/logos/aider.png
 autocoderover,AutoCodeRover,https://autocoderover.net,./static/images/logos/autocoderover.svg
 kaist,KAIST,https://github.com/coinse/libro,./static/images/logos/KAIST.svg
-openai,OpenAI,https://openai.com,./static/images/logos/openai.svg
+openai,OpenAI,https://openai.com,./static/images/logos/openai.svg
+salesforce,Salesforce,https://www.salesforce.com/,./static/images/logos/Salesforce.com_logo.png

docs/runs.csv

@@ -27,4 +27,5 @@ verified,,Otter,GPT-4o,31.6,37.6,2025-03-10,unittest
 verified,,OpenHands,Cl. Sonnet 3.5,27.7,52.9,2025-02-28,unittest
 verified,,LIBRO,GPT-4o,17.8,38.0,2025-02-28,unittest
 verified,,Zero-Shot Plus,GPT-4o + BM25,14.3,34.0,2025-02-28,unittest
-verified,new,LogicStar AI,L*Agent v1, 84.0, 67.7,2025-09-13,unittest
+verified,new,LogicStar AI,L*Agent v1, 84.0, 67.7,2025-09-13,unittest
+verified,new,TEX-T,Claude 4 Sonnet,87.0,69.8,2025-12-17,reproduction

docs/static/images/logos/Salesforce.com_logo.png

@@ -132,21 +132,20 @@ document.addEventListener("DOMContentLoaded", () => {
 document.addEventListener('DOMContentLoaded', function () {
   const reproductionCheckbox = document.getElementById('reproduction-mode-checkbox');
   const nonReproductionCheckbox = document.getElementById('unittest-mode-checkbox');
-  const rows = document.querySelectorAll('#leaderboard-table tbody tr');
+  const tableSelectors = [
+    '#leaderboard-table tbody tr',
+    '#verified-leaderboard-table tbody tr',
+  ];
 
   function updateRowVisibility() {
-    rows.forEach(row => {
-      const mode = row.getAttribute('data-mode');
-      if (
-        (mode === 'reproduction' && !reproductionCheckbox.checked) ||
-        (mode !== 'reproduction' && !nonReproductionCheckbox.checked)
-      ) {
-        // Hide the row
-        row.style.display = 'none';
-      } else {
-        // Show the row
-        row.style.display = '';
-      }
+    tableSelectors.forEach(selector => {
+      document.querySelectorAll(selector).forEach(row => {
+        const mode = row.getAttribute('data-mode');
+        const shouldShow =
+          (mode === 'reproduction' && reproductionCheckbox.checked) ||
+          (mode !== 'reproduction' && nonReproductionCheckbox.checked);
+        row.style.display = shouldShow ? '' : 'none';
+      });
     });
   }
 
@@ -217,4 +216,4 @@ document.addEventListener('DOMContentLoaded', function () {
   // update upon loading the page
   updateTable(document.getElementById('leaderboard-table'));
   updateTable(document.getElementById('verified-leaderboard-table'));
-});
+});