Spaces:
Running
on
L4
Running
on
L4
Commit
Β·
eaf3a91
1
Parent(s):
f53a21b
Update headers
Browse files- evaluate_demo.py +22 -3
evaluate_demo.py
CHANGED
@@ -115,9 +115,28 @@ example_prompt = (
|
|
115 |
"The ocean waves gently lapping at the shore, until a storm bursts in, and then lightning flashes across the sky"
|
116 |
)
|
117 |
|
118 |
-
with gr.Blocks(title="
|
119 |
-
gr.
|
120 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
121 |
|
122 |
with gr.Row():
|
123 |
with gr.Column():
|
|
|
115 |
"The ocean waves gently lapping at the shore, until a storm bursts in, and then lightning flashes across the sky"
|
116 |
)
|
117 |
|
118 |
+
with gr.Blocks(title="NeuS-V: Neuro-Symbolic Evaluation of Text-to-Video Models") as demo:
|
119 |
+
gr.HTML(
|
120 |
+
"""
|
121 |
+
<div style="text-align: center; margin-bottom: 20px;">
|
122 |
+
<h1>NeuS-V: Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification π€</h1>
|
123 |
+
</div>
|
124 |
+
<div style="text-align: center; margin-bottom: 20px;">
|
125 |
+
<p>
|
126 |
+
<a href="https://arxiv.org/abs/2403.12345">π Paper</a> |
|
127 |
+
<a href="https://github.com/UTAustin-SwarmLab/NeuS-V">π» GitHub</a> |
|
128 |
+
<a href="https://ut-austin-swarmlab.github.io/NeuS-V/">π Project Page</a>
|
129 |
+
</p>
|
130 |
+
</div>
|
131 |
+
<div style="text-align: center; font-size: 15px; font-weight: bold; color: red; margin-bottom: 20px;">
|
132 |
+
β οΈ This demo is for academic research and experiential use only.
|
133 |
+
</div>
|
134 |
+
|
135 |
+
"""
|
136 |
+
)
|
137 |
+
|
138 |
+
# gr.Markdown("## Video Evaluation with Temporal Logic")
|
139 |
+
# gr.Markdown("Upload a video and provide a description to evaluate its content using temporal logic.")
|
140 |
|
141 |
with gr.Row():
|
142 |
with gr.Column():
|