Tabular-LLM-Study-Forward-Simulation

Sleeping

App Files Files Community

Tabular-LLM-Study-Forward-Simulation / visualizations_debug /TP /test-1354.html

luulinh90s

add materials

fa53be0 3 months ago

raw

history blame

4.63 kB

	<html><head>
	<style>
	body { font-family: Arial, sans-serif; margin: 20px; }
	h1 { text-align: center; }
	.cot-title { color: blue; }
	.pos-title { color: green; }
	h2 { color: black; text-align: left; }
	h3 { color: black; text-align: left; }
	h4 { color: darkslategray; }
	table { width: 100%; border-collapse: collapse; margin: 20px 0; }
	table, th, td { border: 1px solid #ddd; padding: 8px; }
	th { background-color: #f2f2f2; }
	tr:nth-child(even) { background-color: #f9f9f9; }
	.highlight { background-color: #ffffcc; }
	.true { color: green; }
	.false { color: red; }
	.highlighted-cell { background-color: yellow; cursor: pointer; }
	.step-title { background-color: #f1f1f1; color: #444; padding: 10px; margin: 10px 0; font-size: 18px; border-left: 4px solid #888; }
	.step { display: block; }
	</style>
	</head><body>
	<h1 class="pos-title">Plan-of-SQLs (Ours)</h1>
	<hr>
	<h3><span>Statement:</span> for all 28 matches that atletico ciudad played , his average was never below 0.61</h3>
	<h3>Ground-truth:</span> TRUE</h3>
	<h3>Input Table: 2008 - 09 segunda división b</h3>
	<div class="step">
	<div class="step">
	<div class="step-title">Step 1: Select rows where 'team' is 'atlético ciudad'.</div>
	<div id="step-1" class="content">
	<table>
	<tr>
	<td>goalkeeper</td>
	<td>goals</td>
	<td>matches</td>
	<td>average</td>
	<td>team</td>
	</tr>
	<tr>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">miguel zapata</span></td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">17</span></td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">28</span></td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">0.61</span></td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:#90EE90;">atlético ciudad</span></td>
	</tr>
	<tr>
	<td>rubén martínez</td>
	<td>24</td>
	<td>32</td>
	<td>0.75</td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">cartagena</span></td>
	</tr>
	<tr>
	<td>orlando quintana</td>
	<td>29</td>
	<td>34</td>
	<td>0.85</td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">lorca deportiva</span></td>
	</tr>
	<tr>
	<td>álvaro campos</td>
	<td>24</td>
	<td>28</td>
	<td>0.86</td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">real murcia b</span></td>
	</tr>
	<tr>
	<td>matías garavano</td>
	<td>26</td>
	<td>30</td>
	<td>0.87</td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">mérida</span></td>
	</tr>
	</table>
	</div>
	<hr>
	<div class="step">
	<div class="step-title">Step 2: Select rows where 'matches' is 28.</div>
	<div id="step-0" class="content">
	<table>
	<tr>
	<td>goalkeeper</td>
	<td>goals</td>
	<td>matches</td>
	<td>average</td>
	<td>team</td>
	</tr>
	<tr>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">miguel zapata</span></td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">17</span></td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:#90EE90;">28</span></td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">0.61</span></td>
	<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">atlético ciudad</span></td>
	</tr>
	</table>
	</div>
	</div>
	<hr>
	<div class="step">
	<div class="step-title">Step 3: Select rows where 'average' is less than 0.61.</div>
	<div id="step-1" class="content">
	<table>
	<tr>
	<td>goalkeeper</td>
	<td>goals</td>
	<td>matches</td>
	<td>average</td>
	<td>team</td>
	</tr>
	<tr>
	<td>miguel zapata</td>
	<td>17</td>
	<td>28</td>
	<td>0.61</td>
	<td>atlético ciudad</td>
	</tr>
	</table>
	</div>
	</div>
	<hr>
	<div class="step">
	<div class="step-title">Step 4: Use a `CASE` statement to return TRUE if the number of rows is equal to 0, otherwise return FALSE.</div>
	<div id="step-2" class="content">
	<table>
	<tr>
	<td>goalkeeper</td>
	<td>goals</td>
	<td>matches</td>
	<td>average</td>
	<td>team</td>
	</tr>
	</table>
	</div>
	</div>
	<hr>
	<div class="step">
	<div class="step-title">Final output table:</div>
	<div id="step-3" class="content">
	<table>
	<tr>
	<td>verification_result</td>
	</tr>
	<tr>
	<td>TRUE</td>
	</tr>
	</table>
	</div>
	</div>
	<hr>
	<div class="step"><h3><span class="true">Prediction: TRUE </span></h3>
	<h3>Ground-truth:</span> TRUE</h3></div>
	</body></html>