Update app.py
Browse files
app.py
CHANGED
@@ -1,3 +1,40 @@
|
|
1 |
import gradio as gr
|
2 |
|
3 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
import gradio as gr
|
2 |
|
3 |
+
def code_generation(prompt, max_new_tokens, temperature=0.2, seed=42):
|
4 |
+
#set_seed(seed)
|
5 |
+
return prompt + "\n\n" + prompt
|
6 |
+
|
7 |
+
with gr.Blocks() as demo:
|
8 |
+
with gr.Row():
|
9 |
+
_, colum_2, _ = gr.Column(scale=1), gr.Column(scale=6), gr.Column(scale=1)
|
10 |
+
with colum_2:
|
11 |
+
gr.Markdown(value=description)
|
12 |
+
code = gr.Textbox(lines=5, label="Input code", value="def all_odd_elements(sequence):\n \"\"\"Returns every odd element of the sequence.\"\"\"")
|
13 |
+
|
14 |
+
with gr.Accordion("Advanced settings", open=False):
|
15 |
+
max_new_tokens= gr.Slider(
|
16 |
+
minimum=8,
|
17 |
+
maximum=1024,
|
18 |
+
step=1,
|
19 |
+
value=48,
|
20 |
+
label="Number of tokens to generate",
|
21 |
+
)
|
22 |
+
temperature = gr.Slider(
|
23 |
+
minimum=0.1,
|
24 |
+
maximum=2.5,
|
25 |
+
step=0.1,
|
26 |
+
value=0.2,
|
27 |
+
label="Temperature",
|
28 |
+
)
|
29 |
+
seed = gr.Slider(
|
30 |
+
minimum=0,
|
31 |
+
maximum=1000,
|
32 |
+
step=1,
|
33 |
+
label="Random seed to use for the generation"
|
34 |
+
)
|
35 |
+
run = gr.Button()
|
36 |
+
output = gr.HTML(label="Generated code")
|
37 |
+
|
38 |
+
event = run.click(code_generation, [code, max_new_tokens, temperature, seed], output, api_name="predict")
|
39 |
+
|
40 |
+
demo.launch()
|