[{"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":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"610d011793f1113d11d529134b38dc7d03fa4c3bc42c7c59ea6fc81c836c6a1f","record_version_id":"c2648aef21a690c5c072be7647a43f03263333ecb6139f9b776fbbc5b0febb42","job_id":"enrich-49752a259f17fab0f49665b3","output_id":"37974ecff0fce29d0db849eb86dfac42663e7a29b05bc8a23e54b8d840863599","section":"requirements","status":"needs_review","value_json":"{\"nodes\":[{\"children\":[\"g1\",\"g2\",\"g3\"],\"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\":\"root\",\"kind\":\"any\"},{\"children\":[\"c234\",\"c375a\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375)\",\"id\":\"g1\",\"kind\":\"any\"},{\"children\":[\"c320\",\"c340\",\"c341a\",\"c345\",\"c375b\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 320,340,341,345, or375)\",\"id\":\"g2\",\"kind\":\"any\"},{\"children\":[\"c341b\",\"c375c\",\"c421\",\"c467\",\"c521\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 341,375,421,467, or521)\",\"id\":\"g3\",\"kind\":\"any\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":234,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 234\",\"id\":\"c234\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"c375a\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":320,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 320\",\"id\":\"c320\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":340,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"340\",\"id\":\"c340\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"c341a\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":345,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"345\",\"id\":\"c345\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"c375b\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 341\",\"id\":\"c341b\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"c375c\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":421,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"421\",\"id\":\"c421\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":467,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"467\",\"id\":\"c467\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":521,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"521\",\"id\":\"c521\",\"kind\":\"course\"}],\"notes\":[\"Parsed top-level structure as OR between three course groups and standing/VISP conditions due to comma-separated list ending with 'or' before final alternatives.\"],\"root\":\"root\",\"status\":\"needs_review\"}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":true},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"610d011793f1113d11d529134b38dc7d03fa4c3bc42c7c59ea6fc81c836c6a1f","record_version_id":"c2648aef21a690c5c072be7647a43f03263333ecb6139f9b776fbbc5b0febb42","job_id":"enrich-49752a259f17fab0f49665b3","output_id":"37974ecff0fce29d0db849eb86dfac42663e7a29b05bc8a23e54b8d840863599","section":"search_profile","status":"valid","value_json":"{\"activity_tags\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":4,\"quote\":\"Prove or disprove statements related to the above definitions, properties, and theorems using techniques of mathematical argument (direct methods, indirect methods, constructing examples and counterexamples, induction, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"label\":\"mathematical-reasoning\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":5,\"quote\":\"Convey arguments using English and appropriate mathematical terminology, notation and grammar.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"label\":\"writing\"}],\"assumed_background\":[],\"search_phrases\":[\"propositional logic\",\"first order logic\",\"undecidability\",\"mathematical proofs\",\"formal logic definitions\",\"compactness theorem\",\"Godel's Incompleteness Theorem\",\"nonstandard models of arithmetic\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":0,\"quote\":\"Recall and state the formal definitions of the first-order logic and their properties used in formal logic (e.g., truth assignments, syntax, semantics, theories, models, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Recall and state formal definitions and properties of first-order logic, including truth assignments, syntax, semantics, theories, and models.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":1,\"quote\":\"Use such definitions to argue certain objects do or do not have the condition or property (e.g., decidability, compactness, undecidability, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Argue whether objects possess logical conditions or properties such as decidability, compactness, or undecidability.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":2,\"quote\":\"Recall and state the standard theorems of logic. (e.g., Soundness and Completeness Theorems, the Compactness Theorem, Godel's Incompleteness Theorem, etc.) and recall the arguments for these theorems and the underlying logic of their proofs.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"State standard theorems of logic like Soundness, Completeness, Compactness, and Godel's Incompleteness, and recall their proof arguments.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":3,\"quote\":\"Use concepts from logic in the context of larger arguments (e.g., nonstandard models of arithmetic, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Apply logic concepts within larger arguments, such as those involving nonstandard models of arithmetic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":4,\"quote\":\"Prove or disprove statements related to the above definitions, properties, and theorems using techniques of mathematical argument (direct methods, indirect methods, constructing examples and counterexamples, induction, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Prove or disprove logical statements using direct methods, indirect methods, examples, counterexamples, and induction.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":5,\"quote\":\"Convey arguments using English and appropriate mathematical terminology, notation and grammar.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Convey logical arguments using English, mathematical terminology, notation, and grammar.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":6,\"quote\":\"Identify applications of course content in areas of modern research.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Identify applications of mathematical logic content in areas of modern research.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Mathematical Logic covers basics of logic and mathematical proofs, including propositional logic, first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Basics of logic and mathematical proofs\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":2,\"quote\":\"Recall and state the standard theorems of logic. (e.g., Soundness and Completeness Theorems, the Compactness Theorem, Godel's Incompleteness Theorem, etc.) and recall the arguments for these theorems and the underlying logic of their proofs.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Standard theorems of logic including Soundness, Completeness, Compactness, and Godel's Incompleteness Theorems\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":3,\"quote\":\"Use concepts from logic in the context of larger arguments (e.g., nonstandard models of arithmetic, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Applications in larger arguments such as nonstandard models of arithmetic\"}]}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":true},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"610d011793f1113d11d529134b38dc7d03fa4c3bc42c7c59ea6fc81c836c6a1f","record_version_id":"c2648aef21a690c5c072be7647a43f03263333ecb6139f9b776fbbc5b0febb42","job_id":"enrich-49752a259f17fab0f49665b3","output_id":"37974ecff0fce29d0db849eb86dfac42663e7a29b05bc8a23e54b8d840863599","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\",\"subject_instructor_id\":\"rmp:133058\",\"summary\":\"Cited reviews describe Steffen Lempp's lectures as unclear and not useful, noting he copied verbatim from the book and did not provide enough examples.\"},{\"aspect\":\"overall\",\"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\":\"mixed\",\"subject_instructor_id\":\"rmp:133058\",\"summary\":\"Reviewers note Steffen Lempp was generally a good professor who wanted students to succeed, but found the course difficult and his availability during office hours limited.\"}]}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":true},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"610d011793f1113d11d529134b38dc7d03fa4c3bc42c7c59ea6fc81c836c6a1f","record_version_id":"c2648aef21a690c5c072be7647a43f03263333ecb6139f9b776fbbc5b0febb42","job_id":"enrich-49752a259f17fab0f49665b3","output_id":"37974ecff0fce29d0db849eb86dfac42663e7a29b05bc8a23e54b8d840863599","section":"student_summary","status":"valid","value_json":"{\"context_hash\":\"f26eb16208c5d6944378082ea5ff7c2694041843bf499d3b7831aed6fe4f1245\",\"course_id\":\"MATH/PHILOS 571\",\"current_instructors\":[],\"difficulty_workload\":[{\"citations\":[{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2006-11-02 10:22:36 +0000 UTC\",\"review_id\":\"9b8397ff7258b8d02c3c1c94\",\"run_id\":\"20261014T203208-0851c9a1\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTEyMzQ3NDQz\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"}],\"evidence_scope\":\"past_student_reviews\",\"text\":\"Homework assignments were described as pretty tough because the instructor did not provide enough examples in class to prepare students for the problems.\"}],\"errors\":[],\"historical_context\":[],\"message\":null,\"offered\":false,\"profile_hash\":\"3f5110430805ccdd533c0c072df62d68a8a5f5441c4530bbdb15d419a199a09c\",\"quick_take\":[{\"citations\":[{\"instructor_name\":\"Steffen Lempp\",\"review_date\":\"2006-11-02 10:22:36 +0000 UTC\",\"review_id\":\"9b8397ff7258b8d02c3c1c94\",\"run_id\":\"20261014T203208-0851c9a1\",\"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\":\"20261014T203208-0851c9a1\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"}],\"evidence_scope\":\"past_student_reviews\",\"text\":\"Students found this a tough course that was not recommended for those outside of math and computer science. Historical feedback noted that lectures were often not useful for learning the material.\"},{\"citations\":[{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20261014T203208-0851c9a1\",\"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\":\"20261014T203208-0851c9a1\",\"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\":\"20261014T203208-0851c9a1\",\"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\":\"2012-12-26 00:42:28 +0000 UTC\",\"review_id\":\"c2f9cc0d0284b15be097ef1f\",\"run_id\":\"20261014T203208-0851c9a1\",\"source_instructor_id\":\"rmp:133058\",\"source_review_id\":\"UmF0aW5nLTIxMTY3NTc5\",\"source_url\":\"https://www.ratemyprofessors.com/professor/133058\",\"type\":\"review\"}],\"evidence_scope\":\"past_student_reviews\",\"text\":\"While the instructor was viewed as wanting students to succeed, his lectures were criticized for copying content verbatim from the textbook rather than adding value.\"}],\"task_hash\":\"9dea82ef7f2113a5605c1c6030c4f9b19967eb742cc93a78268fb92357d29f5c\",\"teaching_history\":[{\"citations\":[{\"course_id\":\"MATH/PHILOS 571\",\"run_id\":\"20261014T203208-0851c9a1\",\"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\":\"20261014T203208-0851c9a1\",\"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\":\"20261014T203208-0851c9a1\",\"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\":\"1274\",\"term_name\":\"2027 Sprng\",\"version\":3}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","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-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":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":"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":"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":false},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"610d011793f1113d11d529134b38dc7d03fa4c3bc42c7c59ea6fc81c836c6a1f","record_version_id":"c2648aef21a690c5c072be7647a43f03263333ecb6139f9b776fbbc5b0febb42","job_id":"enrich-6556a505c10f448d98d02466","output_id":"e46f90f015eb7169a6470584fff7749ab1a6835c9a421b0f70a8a9193611142d","section":"requirements","status":"needs_review","value_json":"{\"nodes\":[{\"children\":[\"g1\",\"g2\",\"g3\"],\"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\":\"root\",\"kind\":\"any\"},{\"children\":[\"c234\",\"c375a\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 234or375)\",\"id\":\"g1\",\"kind\":\"any\"},{\"children\":[\"c320\",\"c340\",\"c341a\",\"c345\",\"c375b\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 320,340,341,345, or375)\",\"id\":\"g2\",\"kind\":\"any\"},{\"children\":[\"c341b\",\"c375c\",\"c421\",\"c467\",\"c521\"],\"condition\":null,\"course\":null,\"evidence\":\"(MATH 341,375,421,467, or521)\",\"id\":\"g3\",\"kind\":\"any\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":234,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 234\",\"id\":\"c234\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"c375a\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":320,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 320\",\"id\":\"c320\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":340,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"340\",\"id\":\"c340\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"341\",\"id\":\"c341a\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":345,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"345\",\"id\":\"c345\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"c375b\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":341,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"MATH 341\",\"id\":\"c341b\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":375,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"375\",\"id\":\"c375c\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":421,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"421\",\"id\":\"c421\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":467,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"467\",\"id\":\"c467\",\"kind\":\"course\"},{\"children\":[],\"condition\":null,\"course\":{\"course_number\":521,\"minimum_grade\":null,\"subjects\":[\"MATH\"],\"timing\":\"prior\"},\"evidence\":\"521\",\"id\":\"c521\",\"kind\":\"course\"}],\"notes\":[\"Parsed top-level structure as OR between three course groups and standing/VISP conditions due to comma-separated list ending with 'or' before final alternatives.\"],\"root\":\"root\",\"status\":\"needs_review\"}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":false},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"610d011793f1113d11d529134b38dc7d03fa4c3bc42c7c59ea6fc81c836c6a1f","record_version_id":"c2648aef21a690c5c072be7647a43f03263333ecb6139f9b776fbbc5b0febb42","job_id":"enrich-6556a505c10f448d98d02466","output_id":"e46f90f015eb7169a6470584fff7749ab1a6835c9a421b0f70a8a9193611142d","section":"search_profile","status":"valid","value_json":"{\"activity_tags\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":4,\"quote\":\"Prove or disprove statements related to the above definitions, properties, and theorems using techniques of mathematical argument (direct methods, indirect methods, constructing examples and counterexamples, induction, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"label\":\"mathematical-reasoning\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":5,\"quote\":\"Convey arguments using English and appropriate mathematical terminology, notation and grammar.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"label\":\"writing\"}],\"assumed_background\":[],\"search_phrases\":[\"propositional logic\",\"first order logic\",\"undecidability\",\"mathematical proofs\",\"formal logic definitions\",\"compactness theorem\",\"Godel's Incompleteness Theorem\",\"nonstandard models of arithmetic\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":0,\"quote\":\"Recall and state the formal definitions of the first-order logic and their properties used in formal logic (e.g., truth assignments, syntax, semantics, theories, models, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Recall and state formal definitions and properties of first-order logic, including truth assignments, syntax, semantics, theories, and models.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":1,\"quote\":\"Use such definitions to argue certain objects do or do not have the condition or property (e.g., decidability, compactness, undecidability, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Argue whether objects possess logical conditions or properties such as decidability, compactness, or undecidability.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":2,\"quote\":\"Recall and state the standard theorems of logic. (e.g., Soundness and Completeness Theorems, the Compactness Theorem, Godel's Incompleteness Theorem, etc.) and recall the arguments for these theorems and the underlying logic of their proofs.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"State standard theorems of logic like Soundness, Completeness, Compactness, and Godel's Incompleteness, and recall their proof arguments.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":3,\"quote\":\"Use concepts from logic in the context of larger arguments (e.g., nonstandard models of arithmetic, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Apply logic concepts within larger arguments, such as those involving nonstandard models of arithmetic.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":4,\"quote\":\"Prove or disprove statements related to the above definitions, properties, and theorems using techniques of mathematical argument (direct methods, indirect methods, constructing examples and counterexamples, induction, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Prove or disprove logical statements using direct methods, indirect methods, examples, counterexamples, and induction.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":5,\"quote\":\"Convey arguments using English and appropriate mathematical terminology, notation and grammar.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Convey logical arguments using English, mathematical terminology, notation, and grammar.\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":6,\"quote\":\"Identify applications of course content in areas of modern research.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Identify applications of mathematical logic content in areas of modern research.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"title\",\"quote\":\"MATHEMATICAL LOGIC\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"},{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Mathematical Logic covers basics of logic and mathematical proofs, including propositional logic, first order logic, and undecidability.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"Basics of logic and mathematical proofs\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Basics of logic and mathematical proofs\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"propositional logic\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Propositional logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"first order logic\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"First order logic\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"description\",\"quote\":\"undecidability\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Undecidability\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":2,\"quote\":\"Recall and state the standard theorems of logic. (e.g., Soundness and Completeness Theorems, the Compactness Theorem, Godel's Incompleteness Theorem, etc.) and recall the arguments for these theorems and the underlying logic of their proofs.\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Standard theorems of logic including Soundness, Completeness, Compactness, and Godel's Incompleteness Theorems\"},{\"evidence\":[{\"course_id\":\"MATH/PHILOS 571\",\"field\":\"official_learning_outcomes\",\"outcome_index\":3,\"quote\":\"Use concepts from logic in the context of larger arguments (e.g., nonstandard models of arithmetic, etc.).\",\"source_url\":\"https://guide.wisc.edu/courses/math/\"}],\"text\":\"Applications in larger arguments such as nonstandard models of arithmetic\"}]}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":false},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_3f55e55b94f0e0724493de53","course_id":"MATH/PHILOS 571","catalog_version_id":"610d011793f1113d11d529134b38dc7d03fa4c3bc42c7c59ea6fc81c836c6a1f","record_version_id":"c2648aef21a690c5c072be7647a43f03263333ecb6139f9b776fbbc5b0febb42","job_id":"enrich-6556a505c10f448d98d02466","output_id":"e46f90f015eb7169a6470584fff7749ab1a6835c9a421b0f70a8a9193611142d","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\",\"subject_instructor_id\":\"rmp:133058\",\"summary\":\"Cited reviews describe Steffen Lempp's lectures as unclear and not useful, noting he copied verbatim from the book and did not provide enough examples.\"},{\"aspect\":\"overall\",\"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\":\"mixed\",\"subject_instructor_id\":\"rmp:133058\",\"summary\":\"Reviewers note Steffen Lempp was generally a good professor who wanted students to succeed, but found the course difficult and his availability during office hours limited.\"}]}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","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":"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":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":"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":"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":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":"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":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":"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":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":"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":"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":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":"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":false}]