Alex Gu

answer_type calculation is different for train/val and eval

1

Not necessarily an issue, but I noticed that for train/val, the answer_type is based on whether starter_code exists but that at eval time, it's based on fn_name. Is there a...

I'd like to extract all the subqueries of a query. How can I do that? I tried the below, it didn't work. ``` query = """SELECT * FROM customers WHERE...

I'm having some trouble setting up: I got the error "Unable to start the Lean server process: `Error: spawn lean ENOENT --- The lean.executablePath "lean" may be incorrect, make sure...