[{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-2978ec7e9ac23a465ccaacbb","output_id":"74e9fe06081e51e3c0964b7a8c28ef68d7080d55157281dab1eabc183697c485","section":"requirements","status":"needs_review","value_json":"{\"nodes\":[{\"children\":[\"n1\",\"n2\",\"n3\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n0\",\"kind\":\"any\"},{\"children\":[\"n4\",\"n5\",\"n6\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\",\"id\":\"n1\",\"kind\":\"all\"},{\"children\":[],\"condition\":\"graduate/professional standing\",\"course\":null,\"evidence\":\"graduate/professional standing\",\"id\":\"n2\",\"kind\":\"condition\"},{\"children\":[],\"condition\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"course\":null,\"evidence\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n3\",\"kind\":\"condition\"},{\"children\":[\"n7\",\"n8\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375)\",\"id\":\"n4\",\"kind\":\"any\"},{\"children\":[\"n9\",\"n10\",\"n11\",\"n12\",\"n13\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 320,340,341,345, or375)\",\"id\":\"n5\",\"kind\":\"any\"},{\"children\":[\"n14\",\"n15\",\"n16\",\"n17\",\"n18\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 341,375,421,467, or521)\",\"id\":\"n6\",\"kind\":\"any\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":234,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 234\",\"id\":\"n7\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n8\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":320,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 320\",\"id\":\"n9\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":340,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"340\",\"id\":\"n10\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n11\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":345,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"345\",\"id\":\"n12\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n13\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n14\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n15\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":421,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"421\",\"id\":\"n16\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":467,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"467\",\"id\":\"n17\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":521,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"521\",\"id\":\"n18\",\"kind\":\"course\"}],\"notes\":[\"MATH 421, MATH 467, and MATH 521 are mentioned in requirements_text but are absent from linked_courses; their canonical identities are unclear and require manual review.\"],\"root\":\"n0\",\"status\":\"needs_review\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-2978ec7e9ac23a465ccaacbb","output_id":"74e9fe06081e51e3c0964b7a8c28ef68d7080d55157281dab1eabc183697c485","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"MATH 234\",\"field\":\"description\",\"quote\":\"Introduction to calculus of functions of several variables\"},{\"course_id\":\"MATH 320\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra and differential equations\"},{\"course_id\":\"MATH 340\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra. Topics include matrix algebra, linear systems of equations, vector spaces\"},{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"The theory of linear algebra with an introduction to proofs and proof writing. Topics include vector spaces, linear dependence, span, basis, linear transformations, kernel, image, inner products and inner product spaces, geometry, eigenvalues, eigenvectors, standard matrix factorizations. Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Calculus of several variables, linear algebra, and proof writing.\"},{\"evidence\":[{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Basic set theory and logical operations.\"}],\"search_phrases\":[\"mathematical logic course\",\"proofs and logic UW-Madison\",\"MATH 571 prerequisites\",\"first order logic course\",\"undecidability course\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Mathematical proofs and propositional logic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic; undecidability.\"}],\"text\":\"First order logic and undecidability.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Covers basics of logic, mathematical proofs, propositional and first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"mathematical proofs\"}],\"text\":\"Mathematical proofs\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-2978ec7e9ac23a465ccaacbb","output_id":"74e9fe06081e51e3c0964b7a8c28ef68d7080d55157281dab1eabc183697c485","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"34b1bc09ceae555619c10d630e17318b152349d1427c057f107384a719d94cef","section":"requirements","status":"invalid","value_json":null,"candidate_json":"{\"nodes\":[{\"children\":[\"n1\",\"n2\",\"n3\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n0\",\"kind\":\"any\"},{\"children\":[\"n4\",\"n5\",\"n6\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\",\"id\":\"n1\",\"kind\":\"all\"},{\"children\":[\"n7\",\"n8\",\"n9\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 320,340,341,345, or375)\",\"id\":\"n2\",\"kind\":\"any\"},{\"children\":[\"n10\",\"n11\",\"n12\",\"n13\",\"n14\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 341,375,421,467, or521)\",\"id\":\"n3\",\"kind\":\"any\"},{\"children\":[],\"condition\":\"graduate/professional standing\",\"course\":null,\"evidence\":\"graduate/professional standing\",\"id\":\"n4\",\"kind\":\"condition\"},{\"children\":[],\"condition\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"course\":null,\"evidence\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n5\",\"kind\":\"condition\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":234,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 234\",\"id\":\"n6\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n7\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":320,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"320\",\"id\":\"n8\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":340,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"340\",\"id\":\"n9\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n10\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":345,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"345\",\"id\":\"n11\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n12\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":421,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"421\",\"id\":\"n13\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":467,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"467\",\"id\":\"n14\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":521,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"521\",\"id\":\"n15\",\"kind\":\"course\"}],\"notes\":[\"MATH 421, MATH 467, and MATH 521 are mentioned in requirements_text but are not present in linked_courses. These are treated as verbatim condition leaves requiring review for canonical identity.\",\"The phrase 'graduate/professional standing' and 'declared in Mathematics VISP' are treated as condition leaves as they do not map to specific course nodes in linked_courses.\"],\"root\":\"n0\",\"status\":\"needs_review\"}","error":"Unreachable nodes: n15; connect all conditions and exclusions to the root.","model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"34b1bc09ceae555619c10d630e17318b152349d1427c057f107384a719d94cef","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"MATH 234\",\"field\":\"description\",\"quote\":\"Introduction to calculus of functions of several variables\"},{\"course_id\":\"MATH 320\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra and differential equations\"},{\"course_id\":\"MATH 340\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra. Topics include matrix algebra, linear systems of equations, vector spaces\"},{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"The theory of linear algebra with an introduction to proofs and proof writing. Topics include vector spaces, linear dependence, span, basis, linear transformations, kernel, image, inner products and inner product spaces, geometry, eigenvalues, eigenvectors, standard matrix factorizations. Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Calculus of several variables, linear algebra, and proof writing.\"},{\"evidence\":[{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Basic set theory and logical operations.\"}],\"search_phrases\":[\"mathematical logic course\",\"proofs and logic UW-Madison\",\"MATH 571 prerequisites\",\"first order logic course\",\"undecidability course\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Mathematical proofs and propositional logic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic; undecidability.\"}],\"text\":\"First order logic and undecidability.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Covers basics of logic, mathematical proofs, propositional and first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"mathematical proofs\"}],\"text\":\"Mathematical proofs\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"34b1bc09ceae555619c10d630e17318b152349d1427c057f107384a719d94cef","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"9753078033bd4d8bdde7cafcdbac87be76356046069a2198647516e9c0f803ee","section":"requirements","status":"needs_review","value_json":"{\"nodes\":[{\"children\":[\"n1\",\"n2\",\"n3\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n0\",\"kind\":\"any\"},{\"children\":[\"n4\",\"n5\",\"n6\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\",\"id\":\"n1\",\"kind\":\"all\"},{\"children\":[],\"condition\":\"graduate/professional standing\",\"course\":null,\"evidence\":\"graduate/professional standing\",\"id\":\"n2\",\"kind\":\"condition\"},{\"children\":[],\"condition\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"course\":null,\"evidence\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n3\",\"kind\":\"condition\"},{\"children\":[\"n7\",\"n8\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375)\",\"id\":\"n4\",\"kind\":\"any\"},{\"children\":[\"n9\",\"n10\",\"n11\",\"n12\",\"n13\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 320,340,341,345, or375)\",\"id\":\"n5\",\"kind\":\"any\"},{\"children\":[\"n14\",\"n15\",\"n16\",\"n17\",\"n18\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 341,375,421,467, or521)\",\"id\":\"n6\",\"kind\":\"any\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":234,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 234\",\"id\":\"n7\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n8\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":320,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 320\",\"id\":\"n9\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":340,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"340\",\"id\":\"n10\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n11\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":345,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"345\",\"id\":\"n12\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n13\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n14\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n15\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":421,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"421\",\"id\":\"n16\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":467,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"467\",\"id\":\"n17\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":521,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"521\",\"id\":\"n18\",\"kind\":\"course\"}],\"notes\":[\"MATH 421, MATH 467, and MATH 521 are mentioned in requirements_text but are absent from linked_courses; their canonical identities are unclear and require manual review.\"],\"root\":\"n0\",\"status\":\"needs_review\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"9753078033bd4d8bdde7cafcdbac87be76356046069a2198647516e9c0f803ee","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"MATH 234\",\"field\":\"description\",\"quote\":\"Introduction to calculus of functions of several variables\"},{\"course_id\":\"MATH 320\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra and differential equations\"},{\"course_id\":\"MATH 340\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra. Topics include matrix algebra, linear systems of equations, vector spaces\"},{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"The theory of linear algebra with an introduction to proofs and proof writing. Topics include vector spaces, linear dependence, span, basis, linear transformations, kernel, image, inner products and inner product spaces, geometry, eigenvalues, eigenvectors, standard matrix factorizations. Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Calculus of several variables, linear algebra, and proof writing.\"},{\"evidence\":[{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Basic set theory and logical operations.\"}],\"search_phrases\":[\"mathematical logic course\",\"proofs and logic UW-Madison\",\"MATH 571 prerequisites\",\"first order logic course\",\"undecidability course\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Mathematical proofs and propositional logic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic; undecidability.\"}],\"text\":\"First order logic and undecidability.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Covers basics of logic, mathematical proofs, propositional and first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"mathematical proofs\"}],\"text\":\"Mathematical proofs\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"9753078033bd4d8bdde7cafcdbac87be76356046069a2198647516e9c0f803ee","section":"student_experience","status":"valid","value_json":"{\"status\":\"supported\",\"themes\":[{\"aspect\":\"teaching_clarity\",\"evidence\":[{\"comment\":\"Tough course.  Sometimes unclear in lecture.  Really didn't do enough examples in class so the homeworks were pretty tough.  The exams were pretty much as described by everyone else.  I went and spoke with him numerous times during his office hours.  He always had a little time to help, but seemed extremely busy and was often distracted.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2006-11-02 10:22:36 +0000 UTC\",\"difficulty_rating\":3,\"id\":\"9b8397ff7258b8d02c3c1c94\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"},{\"comment\":\"Steffen was generally a good professor. I could tell he wanted us to succeed. 571 is a difficult class. I wouldn't recommend it to anyone outside of math and computer science. His lectures were not useful, he copied things verbatim from the book. Overall, good professor but lectures were not too helpful.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2012-12-26 00:42:28 +0000 UTC\",\"difficulty_rating\":4,\"id\":\"c2f9cc0d0284b15be097ef1f\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":2,\"review_ids\":[\"9b8397ff7258b8d02c3c1c94\",\"c2f9cc0d0284b15be097ef1f\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2012\",\"review_year_start\":\"2006\"},\"sentiment\":\"negative\",\"summary\":\"Lectures were described as unclear and not useful, with the professor copying verbatim from the book.\"},{\"aspect\":\"workload\",\"evidence\":[{\"comment\":\"Tough course.  Sometimes unclear in lecture.  Really didn't do enough examples in class so the homeworks were pretty tough.  The exams were pretty much as described by everyone else.  I went and spoke with him numerous times during his office hours.  He always had a little time to help, but seemed extremely busy and was often distracted.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2006-11-02 10:22:36 +0000 UTC\",\"difficulty_rating\":3,\"id\":\"9b8397ff7258b8d02c3c1c94\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":1,\"review_ids\":[\"9b8397ff7258b8d02c3c1c94\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2006\",\"review_year_start\":\"2006\"},\"sentiment\":\"negative\",\"summary\":\"Homeworks were considered pretty tough due to a lack of examples in class.\"},{\"aspect\":\"overall\",\"evidence\":[{\"comment\":\"Steffen was generally a good professor. I could tell he wanted us to succeed. 571 is a difficult class. I wouldn't recommend it to anyone outside of math and computer science. His lectures were not useful, he copied things verbatim from the book. Overall, good professor but lectures were not too helpful.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2012-12-26 00:42:28 +0000 UTC\",\"difficulty_rating\":4,\"id\":\"c2f9cc0d0284b15be097ef1f\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":1,\"review_ids\":[\"c2f9cc0d0284b15be097ef1f\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2012\",\"review_year_start\":\"2012\"},\"sentiment\":\"mixed\",\"summary\":\"The professor was generally good and wanted students to succeed, but the course is difficult and lectures were not helpful.\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-789789da373eecc1ff75f626","output_id":"cd5307722d1006d56b13be5f29a3656da8205d975da14dd19ffc7fec6a04a6dc","section":"requirements","status":"invalid","value_json":null,"candidate_json":"\"{\\\"status\\\": \\\"parsed\\\", \\\"root\\\": \\\"n0\\\", \\\"nodes\\\": [{\\\"id\\\": \\\"n0\\\", \\\"kind\\\": \\\"any\\\", \\\"children\\\": [\\\"n1\\\", \\\"n5\\\", \\\"n6\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\\\"}, {\\\"id\\\": \\\"n1\\\", \\\"kind\\\": \\\"all\\\", \\\"children\\\": [\\\"n2\\\", \\\"n3\\\", \\\"n4\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\\\"}, {\\\"id\\\": \\\"n2\\\", \\\"kind\\\": \\\"any\\\", \\\"children\\\": [\\\"n7\\\", \\\"n8\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 234 or 375\\\"}, {\\\"id\\\": \\\"n3\\\", \\\"kind\\\": \\\"any\\\", \\\"children\\\": [\\\"n9\\\", \\\"n10\\\", \\\"n11\\\", \\\"n12\\\", \\\"n13\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 320, 340, 341, 345, or 375\\\"}, {\\\"id\\\": \\\"n4\\\", \\\"kind\\\": \\\"any\\\", \\\"children\\\": [\\\"n14\\\", \\\"n15\\\", \\\"n16\\\", \\\"n17\\\", \\\"n18\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 341, 375, 421, 467, or 521\\\"}, {\\\"id\\\": \\\"n5\\\", \\\"kind\\\": \\\"condition\\\", \\\"children\\\": [], \\\"course\\\": null, \\\"condition\\\": \\\"graduate/professional standing\\\", \\\"evidence\\\": \\\"graduate/professional standing\\\"}, {\\\"id\\\": \\\"n6\\\", \\\"kind\\\": \\\"condition\\\", \\\"children\\\": [], \\\"course\\\": null, \\\"condition\\\": \\\"declared in Mathematics VISP (undergraduate or graduate)\\\", \\\"evidence\\\": \\\"declared in Mathematics VISP (undergraduate or graduate)\\\"}, {\\\"id\\\": \\\"n7\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 234, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 234\\\"}, {\\\"id\\\": \\\"n8\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 375, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 375\\\"}, {\\\"id\\\": \\\"n9\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 320, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 320\\\"}, {\\\"id\\\": \\\"n10\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 340, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 340\\\"}, {\\\"id\\\": \\\"n11\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 341, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 341\\\"}, {\\\"id\\\": \\\"n12\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 345, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 345\\\"}, {\\\"id\\\": \\\"n13\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 375, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 375\\\"}, {\\\"id\\\": \\\"n14\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 341, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 341\\\"}, {\\\"id\\\": \\\"n15\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 375, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 375\\\"}, {\\\"id\\\": \\\"n16\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 421, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 421\\\"}, {\\\"id\\\": \\\"n17\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 467, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 467\\\"}, {\\\"id\\\": \\\"n18\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 521, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 521\\\"}], \\\"notes\\\": []},\"","error":"'{\"status\": \"parsed\", \"root\": \"n0\", \"nodes\": [{\"id\": \"n0\", \"kind\": \"any\", \"children\": [\"n1\", \"n5\", \"n6\"], \"course\": null, \"condition\": null, \"evidence\": \"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\"}, {\"id\": \"n1\", \"kind\": \"all\", \"children\": [\"n2\", \"n3\", \"n4\"], \"course\": null, \"condition\": null, \"evidence\": \"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\"}, {\"id\": \"n2\", \"kind\": \"any\", \"children\": [\"n7\", \"n8\"], \"course\": null, \"condition\": null, \"evidence\": \"MATH 234 or 375\"}, {\"id\": \"n3\", \"kind\": \"any\", \"children\": [\"n9\", \"n10\", \"n11\", \"n12\", \"n13\"], \"course\": null, \"condition\": null, \"evidence\": \"MATH 320, 340, 341, 345, or 375\"}, {\"id\": \"n4\", \"kind\": \"any\", \"children\": [\"n14\", \"n15\", \"n16\", \"n17\", \"n18\"], \"course\": null, \"condition\": null, \"evidence\": \"MATH 341, 375, 421, 467, or 521\"}, {\"id\": \"n5\", \"kind\": \"condition\", \"children\": [], \"course\": null, \"condition\": \"graduate/professional standing\", \"evidence\": \"graduate/professional standing\"}, {\"id\": \"n6\", \"kind\": \"condition\", \"children\": [], \"course\": null, \"condition\": \"declared in Mathematics VISP (undergraduate or graduate)\", \"evidence\": \"declared in Mathematics VISP (undergraduate or graduate)\"}, {\"id\": \"n7\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 234, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 234\"}, {\"id\": \"n8\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 375, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 375\"}, {\"id\": \"n9\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 320, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 320\"}, {\"id\": \"n10\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 340, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 340\"}, {\"id\": \"n11\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 341, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 341\"}, {\"id\": \"n12\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 345, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 345\"}, {\"id\": \"n13\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 375, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 375\"}, {\"id\": \"n14\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 341, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 341\"}, {\"id\": \"n15\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 375, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 375\"}, {\"id\": \"n16\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 421, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 421\"}, {\"id\": \"n17\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 467, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 467\"}, {\"id\": \"n18\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 521, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 521\"}], \"notes\": []},' is not of type 'object'","model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-789789da373eecc1ff75f626","output_id":"cd5307722d1006d56b13be5f29a3656da8205d975da14dd19ffc7fec6a04a6dc","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"MATH 234\",\"field\":\"description\",\"quote\":\"Introduction to calculus of functions of several variables\"},{\"course_id\":\"MATH 320\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra and differential equations\"},{\"course_id\":\"MATH 340\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra. Topics include matrix algebra, linear systems of equations, vector spaces\"},{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"The theory of linear algebra with an introduction to proofs and proof writing. Topics include vector spaces, linear dependence, span, basis, linear transformations, kernel, image, inner products and inner product spaces, geometry, eigenvalues, eigenvectors, standard matrix factorizations. Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Calculus of several variables, linear algebra, and proof writing.\"},{\"evidence\":[{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Basic set theory and logical operations.\"}],\"search_phrases\":[\"mathematical logic course\",\"proofs and logic UW-Madison\",\"MATH 571 prerequisites\",\"first order logic course\",\"undecidability course\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Mathematical proofs and propositional logic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic; undecidability.\"}],\"text\":\"First order logic and undecidability.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Covers basics of logic, mathematical proofs, propositional and first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"mathematical proofs\"}],\"text\":\"Mathematical proofs\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-789789da373eecc1ff75f626","output_id":"cd5307722d1006d56b13be5f29a3656da8205d975da14dd19ffc7fec6a04a6dc","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"82c9a0035e88e2c621619628ac3e694d81311a45d27ac2d2dcd1495632f436a0","section":"requirements","status":"needs_review","value_json":"{\"nodes\":[{\"children\":[\"n1\",\"n2\",\"n3\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n0\",\"kind\":\"any\"},{\"children\":[\"n4\",\"n5\",\"n6\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\",\"id\":\"n1\",\"kind\":\"all\"},{\"children\":[],\"condition\":\"graduate/professional standing\",\"course\":null,\"evidence\":\"graduate/professional standing\",\"id\":\"n2\",\"kind\":\"condition\"},{\"children\":[],\"condition\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"course\":null,\"evidence\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n3\",\"kind\":\"condition\"},{\"children\":[\"n7\",\"n8\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375)\",\"id\":\"n4\",\"kind\":\"any\"},{\"children\":[\"n9\",\"n10\",\"n11\",\"n12\",\"n13\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 320,340,341,345, or375)\",\"id\":\"n5\",\"kind\":\"any\"},{\"children\":[\"n14\",\"n15\",\"n16\",\"n17\",\"n18\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 341,375,421,467, or521)\",\"id\":\"n6\",\"kind\":\"any\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":234,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 234\",\"id\":\"n7\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n8\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":320,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 320\",\"id\":\"n9\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":340,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"340\",\"id\":\"n10\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n11\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":345,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"345\",\"id\":\"n12\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n13\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n14\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n15\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":421,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"421\",\"id\":\"n16\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":467,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"467\",\"id\":\"n17\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":521,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"521\",\"id\":\"n18\",\"kind\":\"course\"}],\"notes\":[\"MATH 421, MATH 467, and MATH 521 are mentioned in requirements_text but are absent from linked_courses; their canonical identities are unclear and require manual review.\"],\"root\":\"n0\",\"status\":\"needs_review\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"82c9a0035e88e2c621619628ac3e694d81311a45d27ac2d2dcd1495632f436a0","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"MATH 234\",\"field\":\"description\",\"quote\":\"Introduction to calculus of functions of several variables\"},{\"course_id\":\"MATH 320\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra and differential equations\"},{\"course_id\":\"MATH 340\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra. Topics include matrix algebra, linear systems of equations, vector spaces\"},{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"The theory of linear algebra with an introduction to proofs and proof writing. Topics include vector spaces, linear dependence, span, basis, linear transformations, kernel, image, inner products and inner product spaces, geometry, eigenvalues, eigenvectors, standard matrix factorizations. Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Calculus of several variables, linear algebra, and proof writing.\"},{\"evidence\":[{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Basic set theory and logical operations.\"}],\"search_phrases\":[\"mathematical logic course\",\"proofs and logic UW-Madison\",\"MATH 571 prerequisites\",\"first order logic course\",\"undecidability course\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Mathematical proofs and propositional logic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic; undecidability.\"}],\"text\":\"First order logic and undecidability.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Covers basics of logic, mathematical proofs, propositional and first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"mathematical proofs\"}],\"text\":\"Mathematical proofs\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"82c9a0035e88e2c621619628ac3e694d81311a45d27ac2d2dcd1495632f436a0","section":"student_experience","status":"valid","value_json":"{\"status\":\"supported\",\"themes\":[{\"aspect\":\"teaching_clarity\",\"evidence\":[{\"comment\":\"Tough course.  Sometimes unclear in lecture.  Really didn't do enough examples in class so the homeworks were pretty tough.  The exams were pretty much as described by everyone else.  I went and spoke with him numerous times during his office hours.  He always had a little time to help, but seemed extremely busy and was often distracted.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2006-11-02 10:22:36 +0000 UTC\",\"difficulty_rating\":3,\"id\":\"9b8397ff7258b8d02c3c1c94\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"},{\"comment\":\"Steffen was generally a good professor. I could tell he wanted us to succeed. 571 is a difficult class. I wouldn't recommend it to anyone outside of math and computer science. His lectures were not useful, he copied things verbatim from the book. Overall, good professor but lectures were not too helpful.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2012-12-26 00:42:28 +0000 UTC\",\"difficulty_rating\":4,\"id\":\"c2f9cc0d0284b15be097ef1f\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":2,\"review_ids\":[\"9b8397ff7258b8d02c3c1c94\",\"c2f9cc0d0284b15be097ef1f\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2012\",\"review_year_start\":\"2006\"},\"sentiment\":\"negative\",\"summary\":\"Lectures were described as unclear and not useful, with the professor copying verbatim from the book.\"},{\"aspect\":\"workload\",\"evidence\":[{\"comment\":\"Tough course.  Sometimes unclear in lecture.  Really didn't do enough examples in class so the homeworks were pretty tough.  The exams were pretty much as described by everyone else.  I went and spoke with him numerous times during his office hours.  He always had a little time to help, but seemed extremely busy and was often distracted.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2006-11-02 10:22:36 +0000 UTC\",\"difficulty_rating\":3,\"id\":\"9b8397ff7258b8d02c3c1c94\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":1,\"review_ids\":[\"9b8397ff7258b8d02c3c1c94\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2006\",\"review_year_start\":\"2006\"},\"sentiment\":\"negative\",\"summary\":\"Homeworks were considered pretty tough due to a lack of examples in class.\"},{\"aspect\":\"overall\",\"evidence\":[{\"comment\":\"Steffen was generally a good professor. I could tell he wanted us to succeed. 571 is a difficult class. I wouldn't recommend it to anyone outside of math and computer science. His lectures were not useful, he copied things verbatim from the book. Overall, good professor but lectures were not too helpful.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2012-12-26 00:42:28 +0000 UTC\",\"difficulty_rating\":4,\"id\":\"c2f9cc0d0284b15be097ef1f\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":1,\"review_ids\":[\"c2f9cc0d0284b15be097ef1f\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2012\",\"review_year_start\":\"2012\"},\"sentiment\":\"mixed\",\"summary\":\"The professor was generally good and wanted students to succeed, but the course is difficult and lectures were not helpful.\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"82c9a0035e88e2c621619628ac3e694d81311a45d27ac2d2dcd1495632f436a0","section":"student_summary","status":"invalid","value_json":"{\"context_hash\":\"5d7b40a0736b4ab8f4220531dbd0b63d11e8d11017f4305ce2e8d849cc40a2df\",\"course_id\":\"MATH/PHILOS 571\",\"current_instructors\":[{\"instructor_uid\":\"instructor_d06a148410e3d6fb6586caea\",\"message\":\"No course-specific reviews available\",\"name\":\"Isabella Scott\",\"review_status\":\"no_course_reviews\",\"rmp_instructor_id\":null,\"summary\":[]}],\"difficulty_workload\":[],\"errors\":[{\"error\":\"ModelAPIError: Connection error.\",\"instructor_uid\":null,\"mode\":\"history\"},{\"error\":\"ModelAPIError: Connection error.\",\"instructor_uid\":null,\"mode\":\"overview\"}],\"historical_context\":[],\"message\":null,\"offered\":true,\"profile_hash\":\"5cb4dabf887cdbcd8c00d5a1312e10828b95c63f30bc3ea76aea199565390d02\",\"quick_take\":[{\"citations\":[{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1202\",\"type\":\"grade\"},{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1222\",\"type\":\"grade\"},{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1252\",\"type\":\"grade\"}],\"text\":\"Recent recorded grades — Fall 2019: 2.82 GPA, 40.9% A/AB (n=22 letter grades); Fall 2021: 2.92 GPA, 53.8% A/AB (n=13 letter grades); Fall 2024: 3.25 GPA, 75.0% A/AB (n=12 letter grades).\"}],\"student_experience\":[],\"task_hash\":\"74fb0997943e888960bbc9e47db8c4fd12e4292d55c20509d8d89db6a9910f68\",\"teaching_history\":[{\"citations\":[{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"section_number\":1,\"source_course_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"section_grades_latest\",\"term_id\":\"1072\",\"type\":\"grade\"},{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"section_number\":1,\"source_course_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"section_grades_latest\",\"term_id\":\"1082\",\"type\":\"grade\"},{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"section_number\":1,\"source_course_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"section_grades_latest\",\"term_id\":\"1132\",\"type\":\"grade\"}],\"text\":\"STEFFEN LEMPP is recorded teaching in Fall 2006, Fall 2007, Fall 2012. Recorded history may be incomplete and does not establish a future schedule.\"}],\"term_id\":\"1272\",\"term_name\":\"2026 Fall\",\"version\":2}","candidate_json":null,"error":"[{\"mode\": \"history\", \"instructor_uid\": null, \"error\": \"ModelAPIError: Connection error.\"}, {\"mode\": \"overview\", \"instructor_uid\": null, \"error\": \"ModelAPIError: Connection error.\"}]","model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-dab8f6acaa72f26086773521","output_id":"d241819c1c49d8c97aa89f5c33945829c76548c83bc280561a854dde68b07b5e","section":"requirements","status":"invalid","value_json":null,"candidate_json":"\"{\\\"status\\\": \\\"parsed\\\", \\\"root\\\": \\\"n0\\\", \\\"nodes\\\": [{\\\"id\\\": \\\"n0\\\", \\\"kind\\\": \\\"any\\\", \\\"children\\\": [\\\"n1\\\", \\\"n5\\\", \\\"n6\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\\\"}, {\\\"id\\\": \\\"n1\\\", \\\"kind\\\": \\\"all\\\", \\\"children\\\": [\\\"n2\\\", \\\"n3\\\", \\\"n4\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\\\"}, {\\\"id\\\": \\\"n2\\\", \\\"kind\\\": \\\"any\\\", \\\"children\\\": [\\\"n7\\\", \\\"n8\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 234 or 375\\\"}, {\\\"id\\\": \\\"n3\\\", \\\"kind\\\": \\\"any\\\", \\\"children\\\": [\\\"n9\\\", \\\"n10\\\", \\\"n11\\\", \\\"n12\\\", \\\"n13\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 320, 340, 341, 345, or 375\\\"}, {\\\"id\\\": \\\"n4\\\", \\\"kind\\\": \\\"any\\\", \\\"children\\\": [\\\"n14\\\", \\\"n15\\\", \\\"n16\\\", \\\"n17\\\", \\\"n18\\\"], \\\"course\\\": null, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 341, 375, 421, 467, or 521\\\"}, {\\\"id\\\": \\\"n5\\\", \\\"kind\\\": \\\"condition\\\", \\\"children\\\": [], \\\"course\\\": null, \\\"condition\\\": \\\"graduate/professional standing\\\", \\\"evidence\\\": \\\"graduate/professional standing\\\"}, {\\\"id\\\": \\\"n6\\\", \\\"kind\\\": \\\"condition\\\", \\\"children\\\": [], \\\"course\\\": null, \\\"condition\\\": \\\"declared in Mathematics VISP (undergraduate or graduate)\\\", \\\"evidence\\\": \\\"declared in Mathematics VISP (undergraduate or graduate)\\\"}, {\\\"id\\\": \\\"n7\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 234, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 234\\\"}, {\\\"id\\\": \\\"n8\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 375, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 375\\\"}, {\\\"id\\\": \\\"n9\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 320, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 320\\\"}, {\\\"id\\\": \\\"n10\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 340, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 340\\\"}, {\\\"id\\\": \\\"n11\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 341, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 341\\\"}, {\\\"id\\\": \\\"n12\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 345, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 345\\\"}, {\\\"id\\\": \\\"n13\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 375, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 375\\\"}, {\\\"id\\\": \\\"n14\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 341, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 341\\\"}, {\\\"id\\\": \\\"n15\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 375, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 375\\\"}, {\\\"id\\\": \\\"n16\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 421, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 421\\\"}, {\\\"id\\\": \\\"n17\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 467, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 467\\\"}, {\\\"id\\\": \\\"n18\\\", \\\"kind\\\": \\\"course\\\", \\\"children\\\": [], \\\"course\\\": {\\\"course_number\\\": 521, \\\"minimum_grade\\\": null, \\\"subjects\\\": [\\\"MATH\\\"], \\\"timing\\\": \\\"prior\\\"}, \\\"condition\\\": null, \\\"evidence\\\": \\\"MATH 521\\\"}], \\\"notes\\\": []},\"","error":"'{\"status\": \"parsed\", \"root\": \"n0\", \"nodes\": [{\"id\": \"n0\", \"kind\": \"any\", \"children\": [\"n1\", \"n5\", \"n6\"], \"course\": null, \"condition\": null, \"evidence\": \"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\"}, {\"id\": \"n1\", \"kind\": \"all\", \"children\": [\"n2\", \"n3\", \"n4\"], \"course\": null, \"condition\": null, \"evidence\": \"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\"}, {\"id\": \"n2\", \"kind\": \"any\", \"children\": [\"n7\", \"n8\"], \"course\": null, \"condition\": null, \"evidence\": \"MATH 234 or 375\"}, {\"id\": \"n3\", \"kind\": \"any\", \"children\": [\"n9\", \"n10\", \"n11\", \"n12\", \"n13\"], \"course\": null, \"condition\": null, \"evidence\": \"MATH 320, 340, 341, 345, or 375\"}, {\"id\": \"n4\", \"kind\": \"any\", \"children\": [\"n14\", \"n15\", \"n16\", \"n17\", \"n18\"], \"course\": null, \"condition\": null, \"evidence\": \"MATH 341, 375, 421, 467, or 521\"}, {\"id\": \"n5\", \"kind\": \"condition\", \"children\": [], \"course\": null, \"condition\": \"graduate/professional standing\", \"evidence\": \"graduate/professional standing\"}, {\"id\": \"n6\", \"kind\": \"condition\", \"children\": [], \"course\": null, \"condition\": \"declared in Mathematics VISP (undergraduate or graduate)\", \"evidence\": \"declared in Mathematics VISP (undergraduate or graduate)\"}, {\"id\": \"n7\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 234, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 234\"}, {\"id\": \"n8\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 375, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 375\"}, {\"id\": \"n9\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 320, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 320\"}, {\"id\": \"n10\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 340, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 340\"}, {\"id\": \"n11\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 341, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 341\"}, {\"id\": \"n12\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 345, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 345\"}, {\"id\": \"n13\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 375, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 375\"}, {\"id\": \"n14\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 341, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 341\"}, {\"id\": \"n15\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 375, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 375\"}, {\"id\": \"n16\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 421, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 421\"}, {\"id\": \"n17\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 467, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 467\"}, {\"id\": \"n18\", \"kind\": \"course\", \"children\": [], \"course\": {\"course_number\": 521, \"minimum_grade\": null, \"subjects\": [\"MATH\"], \"timing\": \"prior\"}, \"condition\": null, \"evidence\": \"MATH 521\"}], \"notes\": []},' is not of type 'object'","model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-dab8f6acaa72f26086773521","output_id":"d241819c1c49d8c97aa89f5c33945829c76548c83bc280561a854dde68b07b5e","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"MATH 234\",\"field\":\"description\",\"quote\":\"Introduction to calculus of functions of several variables\"},{\"course_id\":\"MATH 320\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra and differential equations\"},{\"course_id\":\"MATH 340\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra. Topics include matrix algebra, linear systems of equations, vector spaces\"},{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"The theory of linear algebra with an introduction to proofs and proof writing. Topics include vector spaces, linear dependence, span, basis, linear transformations, kernel, image, inner products and inner product spaces, geometry, eigenvalues, eigenvectors, standard matrix factorizations. Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Calculus of several variables, linear algebra, and proof writing.\"},{\"evidence\":[{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Basic set theory and logical operations.\"}],\"search_phrases\":[\"mathematical logic course\",\"proofs and logic UW-Madison\",\"MATH 571 prerequisites\",\"first order logic course\",\"undecidability course\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Mathematical proofs and propositional logic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic; undecidability.\"}],\"text\":\"First order logic and undecidability.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Covers basics of logic, mathematical proofs, propositional and first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"mathematical proofs\"}],\"text\":\"Mathematical proofs\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-dab8f6acaa72f26086773521","output_id":"d241819c1c49d8c97aa89f5c33945829c76548c83bc280561a854dde68b07b5e","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-f516c4d3e82cfe326b4f5f54","output_id":"eaddde8d76dfe117167bc5c805f95c74312c1e10d96e7423f264870d6b90b0f1","section":"requirements","status":"needs_review","value_json":"{\"nodes\":[{\"children\":[\"n1\",\"n2\",\"n3\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521), graduate/professional standing, or declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n0\",\"kind\":\"any\"},{\"children\":[\"n4\",\"n5\",\"n6\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375), (MATH 320,340,341,345, or375), and (MATH 341,375,421,467, or521)\",\"id\":\"n1\",\"kind\":\"all\"},{\"children\":[],\"condition\":\"graduate/professional standing\",\"course\":null,\"evidence\":\"graduate/professional standing\",\"id\":\"n2\",\"kind\":\"condition\"},{\"children\":[],\"condition\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"course\":null,\"evidence\":\"declared in Mathematics VISP (undergraduate or graduate)\",\"id\":\"n3\",\"kind\":\"condition\"},{\"children\":[\"n7\",\"n8\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375)\",\"id\":\"n4\",\"kind\":\"any\"},{\"children\":[\"n9\",\"n10\",\"n11\",\"n12\",\"n13\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 320,340,341,345, or375)\",\"id\":\"n5\",\"kind\":\"any\"},{\"children\":[\"n14\",\"n15\",\"n16\",\"n17\",\"n18\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 341,375,421,467, or521)\",\"id\":\"n6\",\"kind\":\"any\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":234,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 234\",\"id\":\"n7\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n8\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":320,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 320\",\"id\":\"n9\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":340,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"340\",\"id\":\"n10\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n11\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":345,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"345\",\"id\":\"n12\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n13\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"n14\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"n15\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":421,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"421\",\"id\":\"n16\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":467,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"467\",\"id\":\"n17\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":521,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"521\",\"id\":\"n18\",\"kind\":\"course\"}],\"notes\":[\"MATH 421, MATH 467, and MATH 521 are mentioned in requirements_text but are absent from linked_courses; their canonical identities are unclear and require manual review.\"],\"root\":\"n0\",\"status\":\"needs_review\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-f516c4d3e82cfe326b4f5f54","output_id":"eaddde8d76dfe117167bc5c805f95c74312c1e10d96e7423f264870d6b90b0f1","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"MATH 234\",\"field\":\"description\",\"quote\":\"Introduction to calculus of functions of several variables\"},{\"course_id\":\"MATH 320\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra and differential equations\"},{\"course_id\":\"MATH 340\",\"field\":\"description\",\"quote\":\"An introduction to linear algebra. Topics include matrix algebra, linear systems of equations, vector spaces\"},{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"The theory of linear algebra with an introduction to proofs and proof writing. Topics include vector spaces, linear dependence, span, basis, linear transformations, kernel, image, inner products and inner product spaces, geometry, eigenvalues, eigenvectors, standard matrix factorizations. Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Calculus of several variables, linear algebra, and proof writing.\"},{\"evidence\":[{\"course_id\":\"MATH 341\",\"field\":\"description\",\"quote\":\"Other content includes basic set theory, logical operations, quantifiers, direct and indirect arguments, and induction.\"}],\"text\":\"Basic set theory and logical operations.\"}],\"search_phrases\":[\"mathematical logic course\",\"proofs and logic UW-Madison\",\"MATH 571 prerequisites\",\"first order logic course\",\"undecidability course\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Mathematical proofs and propositional logic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic; undecidability.\"}],\"text\":\"First order logic and undecidability.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\"}],\"text\":\"Covers basics of logic, mathematical proofs, propositional and first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"mathematical proofs\"}],\"text\":\"Mathematical proofs\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-f516c4d3e82cfe326b4f5f54","output_id":"eaddde8d76dfe117167bc5c805f95c74312c1e10d96e7423f264870d6b90b0f1","section":"student_experience","status":"valid","value_json":"{\"status\":\"supported\",\"themes\":[{\"aspect\":\"teaching_clarity\",\"evidence\":[{\"comment\":\"Tough course.  Sometimes unclear in lecture.  Really didn't do enough examples in class so the homeworks were pretty tough.  The exams were pretty much as described by everyone else.  I went and spoke with him numerous times during his office hours.  He always had a little time to help, but seemed extremely busy and was often distracted.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2006-11-02 10:22:36 +0000 UTC\",\"difficulty_rating\":3,\"id\":\"9b8397ff7258b8d02c3c1c94\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"},{\"comment\":\"Steffen was generally a good professor. I could tell he wanted us to succeed. 571 is a difficult class. I wouldn't recommend it to anyone outside of math and computer science. His lectures were not useful, he copied things verbatim from the book. Overall, good professor but lectures were not too helpful.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2012-12-26 00:42:28 +0000 UTC\",\"difficulty_rating\":4,\"id\":\"c2f9cc0d0284b15be097ef1f\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":2,\"review_ids\":[\"9b8397ff7258b8d02c3c1c94\",\"c2f9cc0d0284b15be097ef1f\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2012\",\"review_year_start\":\"2006\"},\"sentiment\":\"negative\",\"summary\":\"Lectures were described as unclear and not useful, with the professor copying verbatim from the book.\"},{\"aspect\":\"workload\",\"evidence\":[{\"comment\":\"Tough course.  Sometimes unclear in lecture.  Really didn't do enough examples in class so the homeworks were pretty tough.  The exams were pretty much as described by everyone else.  I went and spoke with him numerous times during his office hours.  He always had a little time to help, but seemed extremely busy and was often distracted.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2006-11-02 10:22:36 +0000 UTC\",\"difficulty_rating\":3,\"id\":\"9b8397ff7258b8d02c3c1c94\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":1,\"review_ids\":[\"9b8397ff7258b8d02c3c1c94\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2006\",\"review_year_start\":\"2006\"},\"sentiment\":\"negative\",\"summary\":\"Homeworks were considered pretty tough due to a lack of examples in class.\"},{\"aspect\":\"overall\",\"evidence\":[{\"comment\":\"Steffen was generally a good professor. I could tell he wanted us to succeed. 571 is a difficult class. I wouldn't recommend it to anyone outside of math and computer science. His lectures were not useful, he copied things verbatim from the book. Overall, good professor but lectures were not too helpful.\",\"course_id\":\"MATH/PHILOS 571\",\"date\":\"2012-12-26 00:42:28 +0000 UTC\",\"difficulty_rating\":4,\"id\":\"c2f9cc0d0284b15be097ef1f\",\"instructor_id\":\"rmp:133058\",\"instructor_name\":\"Steffen Lempp\",\"quality_rating\":3,\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\"}],\"evidence_count\":1,\"review_ids\":[\"c2f9cc0d0284b15be097ef1f\"],\"scope\":{\"historical\":true,\"instructors\":[{\"id\":\"rmp:133058\",\"name\":\"Steffen Lempp\"}],\"review_year_end\":\"2012\",\"review_year_start\":\"2012\"},\"sentiment\":\"mixed\",\"summary\":\"The professor was generally good and wanted students to succeed, but the course is difficult and lectures were not helpful.\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"cdc0b2683d0f0f769fab0a8a7dd74c426e31de90288385373c1cc1cd1d5c9706","record_version_id":"86d9b75ecec14655be948899ca1361b31cdc82ebff69f8230c4546288d289c9b","job_id":"enrich-f516c4d3e82cfe326b4f5f54","output_id":"eaddde8d76dfe117167bc5c805f95c74312c1e10d96e7423f264870d6b90b0f1","section":"student_summary","status":"valid","value_json":"{\"context_hash\":\"5d7b40a0736b4ab8f4220531dbd0b63d11e8d11017f4305ce2e8d849cc40a2df\",\"course_id\":\"MATH/PHILOS 571\",\"current_instructors\":[{\"instructor_uid\":\"instructor_d06a148410e3d6fb6586caea\",\"message\":\"No course-specific reviews available\",\"name\":\"Isabella Scott\",\"review_status\":\"no_course_reviews\",\"rmp_instructor_id\":null,\"summary\":[]}],\"difficulty_workload\":[{\"citations\":[{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2006-11-02 10:22:36 +0000 UTC\",\"review_id\":\"9b8397ff7258b8d02c3c1c94\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"}],\"text\":\"Historical reviews of Steffen Lempp: Homeworks are tough due to a lack of in-class examples, making preparation challenging.\"}],\"errors\":[],\"historical_context\":[{\"citations\":[{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2006-11-02 10:22:36 +0000 UTC\",\"review_id\":\"9b8397ff7258b8d02c3c1c94\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"},{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2012-12-26 00:42:28 +0000 UTC\",\"review_id\":\"c2f9cc0d0284b15be097ef1f\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"}],\"text\":\"Historical reviews of Steffen Lempp: Steffen Lempp is described as a good professor who wants students to succeed, though his lectures are criticized for being unhelpful and copying the book verbatim. Reviewers note the course is tough, with unclear lectures and difficult homeworks due to a lack of in-class examples.\"}],\"message\":null,\"offered\":true,\"profile_hash\":\"e59ddc7389015d0035b68cd195c939d475bf72b959b29cf12eab59b454ccaef1\",\"quick_take\":[{\"citations\":[{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2006-11-02 10:22:36 +0000 UTC\",\"review_id\":\"9b8397ff7258b8d02c3c1c94\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"},{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2012-12-26 00:42:28 +0000 UTC\",\"review_id\":\"c2f9cc0d0284b15be097ef1f\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"}],\"text\":\"Historical reviews of Steffen Lempp: MATH/PHILOS 571 is a difficult course best suited for math and computer science majors, with lectures that reviewers found unclear or unhelpful.\"},{\"citations\":[{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1202\",\"type\":\"grade\"},{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1222\",\"type\":\"grade\"},{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1252\",\"type\":\"grade\"}],\"text\":\"Recent recorded grades — Fall 2019: 2.82 GPA, 40.9% A/AB (n=22 letter grades); Fall 2021: 2.92 GPA, 53.8% A/AB (n=13 letter grades); Fall 2024: 3.25 GPA, 75.0% A/AB (n=12 letter grades).\"}],\"student_experience\":[{\"citations\":[{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2006-11-02 10:22:36 +0000 UTC\",\"review_id\":\"9b8397ff7258b8d02c3c1c94\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"},{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2012-12-26 00:42:28 +0000 UTC\",\"review_id\":\"c2f9cc0d0284b15be097ef1f\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"}],\"text\":\"Historical reviews of Steffen Lempp: Lectures are criticized for being unclear or copying the book verbatim, though the instructor is generally supportive during office hours.\"}],\"task_hash\":\"74fb0997943e888960bbc9e47db8c4fd12e4292d55c20509d8d89db6a9910f68\",\"teaching_history\":[{\"citations\":[{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"section_number\":1,\"source_course_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"section_grades_latest\",\"term_id\":\"1072\",\"type\":\"grade\"},{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"section_number\":1,\"source_course_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"section_grades_latest\",\"term_id\":\"1082\",\"type\":\"grade\"},{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20260907T155543-ce3781c4\",\"section_number\":1,\"source_course_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"source_record\":{\"entity_id\":\"4690cb4b-2d7e-39b6-b7ec-583add055bc2\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"section_grades_latest\",\"term_id\":\"1132\",\"type\":\"grade\"}],\"text\":\"STEFFEN LEMPP is recorded teaching in Fall 2006, Fall 2007, Fall 2012. Recorded history may be incomplete and does not establish a future schedule.\"}],\"term_id\":\"1272\",\"term_name\":\"2026 Fall\",\"version\":2}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true}]