Increase max tokens

src/pips/gradio_app.py

@@ -832,7 +832,7 @@ def build_blocks() -> gr.Blocks:
                     temperature = gr.Slider(0.0, 2.0, value=0.0, step=0.1, label="Temperature")
 
                 with gr.Row():
-                    max_tokens = gr.Slider(512, 8192, value=4096, step=256, label="Max Tokens")
+                    max_tokens = gr.Slider(500, 50000, value=50000, step=500, label="Max Tokens")
                     max_exec_time = gr.Slider(1, 60, value=10, step=1, label="Exec Timeout (s)")
 
                 solve_button = gr.Button("Solve", variant="primary")