HF RL Explorer

Sum of the elements of an identity matrix is zero I think this is a bug.

Sum of the elements of an identity matrix is zero I think this is a bug.: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). I created a matrix by M.T M under an assumption that M is orthogonal. SymPy successfully recognized that the result is an identity matrix. I tested its identity-ness by…

The task

I created a matrix by M.T * M under an assumption that M is orthogonal. SymPy successfully recognized that the result is an identity matrix. I tested its identity-ness by element-wise, queries, and sum of the diagonal elements and received expected results.

Part of Lego-X/Lego-RL-SWE-Bench-Verified.