{"_meta": {"battery": "5s", "sub_battery": "semantics", "version": "v1", "task_count": 12, "notes": "linear-algebra@v1 semantics — int/float/string cell fold; eigenvalue ordering; op-distinct."}}
{"id": "5s-sem-la-001", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"det\", \"matrix\": [[1, 2], [3, 4]]}", "input_b": "{\"op\": \"det\", \"matrix\": [[1.0, 2.0], [3.0, 4.0]]}", "expected_equivalent": true}
{"id": "5s-sem-la-002", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"det\", \"matrix\": [[1, 2], [3, 4]]}", "input_b": "{\"op\": \"det\", \"matrix\": [[\"1\", \"2\"], [\"3\", \"4\"]]}", "expected_equivalent": true}
{"id": "5s-sem-la-003", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"det\", \"matrix\": [[2, 0], [0, 2]]}", "input_b": "{\"op\": \"rref\", \"matrix\": [[2, 0], [0, 2]]}", "expected_equivalent": false}
{"id": "5s-sem-la-004", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"det\", \"matrix\": [[1, 2], [3, 4]]}", "input_b": "{\"op\": \"det\", \"matrix\": [[1, 2], [3, 5]]}", "expected_equivalent": false}
{"id": "5s-sem-la-005", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"det\", \"matrix\": [[1, 0], [0, 1]]}", "input_b": "{\"op\": \"det\", \"matrix\": [[\"1\", \"0\"], [\"0\", \"1.0\"]]}", "expected_equivalent": true}
{"id": "5s-sem-la-006", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"det\", \"matrix\": [[1, 0], [0, 1]]}", "input_b": "{\"op\": \"det\", \"matrix\": [[1, 0, 0], [0, 1, 0], [0, 0, 1]]}", "expected_equivalent": true}
{"id": "5s-sem-la-007", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"rref\", \"matrix\": [[2, 4], [1, 2]]}", "input_b": "{\"op\": \"rref\", \"matrix\": [[1, 2], [2, 4]]}", "expected_equivalent": true}
{"id": "5s-sem-la-008", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"eigenvalues\", \"matrix\": [[2, 0], [0, 3]]}", "input_b": "{\"op\": \"eigenvalues\", \"matrix\": [[3, 0], [0, 2]]}", "expected_equivalent": true}
{"id": "5s-sem-la-009", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"eigenvalues\", \"matrix\": [[1, 0], [0, 2]]}", "input_b": "{\"op\": \"eigenvalues\", \"matrix\": [[1, 0], [0, 3]]}", "expected_equivalent": false}
{"id": "5s-sem-la-010", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"inverse\", \"matrix\": [[1, 0], [0, 1]]}", "input_b": "{\"op\": \"inverse\", \"matrix\": [[1, 0], [0, 1]]}", "expected_equivalent": true}
{"id": "5s-sem-la-011", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"inverse\", \"matrix\": [[2, 0], [0, 2]]}", "input_b": "{\"op\": \"inverse\", \"matrix\": [[1, 0], [0, 1]]}", "expected_equivalent": false}
{"id": "5s-sem-la-012", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "linear-algebra", "domain": "json_object", "pi_star_ref": "linear-algebra@v1", "input_a": "{\"op\": \"det\", \"matrix\": [[\"1/2\", 0], [0, \"1/2\"]]}", "input_b": "{\"op\": \"det\", \"matrix\": [[0.5, 0], [0, 0.5]]}", "expected_equivalent": true}
