(query: str)
| 171 | # postprocess the model predictions to avoid execution errors |
| 172 | # e.g. removing spaces between ">" and "=" |
| 173 | def postprocess(query: str) -> str: |
| 174 | query = query.replace('> =', '>=').replace('< =', '<=').replace('! =', '!=') |
| 175 | return query |
| 176 | |
| 177 | |
| 178 | # approximate whether p_str and g_str are semantically equivalent |