HF RL Explorer

Inaccurate sql generation for DATEPART in T-SQL

Inaccurate sql generation for DATEPART in T-SQL: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). In TSQL queries while reading DATEPART function seems to be converted to FORMAT function, which would work fine but 'quarter' does not seem to be part of format types. Code…

The task

In TSQL queries while reading DATEPART function seems to be converted to FORMAT function, which would work fine but 'quarter' does not seem to be part of format types. Code snippet: quarter_query = """ SELECT YEAR(sale_date) AS Year, DATEPART(QUARTER, sale_date) AS Quarter…

Part of XiaomiMiMo/MiMo-V2.6-RL-oss.