Spaces:

md896
/

sql-debug-env

Running

App Files Files Community

sql-debug-env / server

Ctrl+K

Ctrl+K

1 contributor

History: 17 commits

md896's picture

Expand problem narrative and Engineering Notes: time-on-SQL, Spider vs prod.

40caa50 23 days ago

static
Add workflow diagram via Hub API (Xet) 23 days ago
tasks
Make OpenEnv training+API judge-proof 24 days ago
__init__.py

17 Bytes
Initial OpenEnv SQL debug environment about 1 month ago
app.py

385 Bytes
Initial OpenEnv SQL debug environment about 1 month ago
database.py

3.95 kB
Initial OpenEnv SQL debug environment about 1 month ago
demo_page.html

54 kB
Expand problem narrative and Engineering Notes: time-on-SQL, Spider vs prod. 23 days ago
env.py

10.6 kB
Make OpenEnv training+API judge-proof 24 days ago
gradio_ui.py

34.5 kB
Expand problem narrative and Engineering Notes: time-on-SQL, Spider vs prod. 23 days ago
main.py

12.5 kB
Space home: redirect / to HTML /demo; Gradio at /gradio; fix Gradio hero. 23 days ago
models.py

5.16 kB
Harden strict (0,1) scoring boundaries across runtime and config. about 1 month ago
reward.py

4.62 kB
Harden strict (0,1) scoring boundaries across runtime and config. about 1 month ago