[{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"5d73a763748dbd7a8baa82baa204789dcf61c7149e712fd6276f70d2a184de3c","section":"requirements","status":"invalid","value_json":null,"candidate_json":"{\"nodes\":[{\"children\":[],\"condition\":null,\"course\":{\"course_number\":0,\"minimum_grade\":null,\"subjects\":[\"COMPSCI\"],\"timing\":\"prior\"},\"evidence\":\"Graduate/professional standing\",\"id\":\"n0\",\"kind\":\"condition\"},{\"children\":[],\"condition\":\"Graduate/professional standing\",\"course\":null,\"evidence\":\"Graduate/professional standing\",\"id\":\"n1\",\"kind\":\"condition\"}],\"notes\":[\"The phrase 'Graduate/professional standing' is ambiguous; it may refer to a specific standing category or require review to distinguish from course-level prerequisites. It is treated as a condition leaf.\"],\"root\":\"n0\",\"status\":\"needs_review\"}","error":"Unreachable nodes: n1; 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_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"5d73a763748dbd7a8baa82baa204789dcf61c7149e712fd6276f70d2a184de3c","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"COMPSCI 536\",\"field\":\"description\",\"quote\":\"Introduction to the theory and practice of compiler design. Comparison of features of several programming languages and their implications for implementation techniques.\"}],\"text\":\"Programming languages and compiler design\"}],\"search_phrases\":[\"formal methods program verification\",\"model checking temporal logic\",\"program synthesis privacy\",\"COMPSCI 703 graduate verification\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic reasoning\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy property verification\"}],\"summary\":{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"title\",\"quote\":\"PROGRAM VERIFICATION AND SYNTHESIS\"},{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Formal methods for program verification. Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"COMPSCI 703 teaches formal methods for program verification, including model checking, temporal logic, and program synthesis.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy properties\"}]}","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_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"5d73a763748dbd7a8baa82baa204789dcf61c7149e712fd6276f70d2a184de3c","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_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"12137f8544afc62bf75fc4945a1b050418f776990292fb8541fd9c1b80fb76f3","section":"requirements","status":"valid","value_json":"{\"nodes\":[{\"children\":[],\"condition\":\"Graduate/professional standing\",\"course\":null,\"evidence\":\"Graduate/professional standing\",\"id\":\"n0\",\"kind\":\"condition\"}],\"notes\":[\"The requirement 'Graduate/professional standing' is modeled as a condition node.\"],\"root\":\"n0\",\"status\":\"parsed\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"12137f8544afc62bf75fc4945a1b050418f776990292fb8541fd9c1b80fb76f3","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"COMPSCI 536\",\"field\":\"description\",\"quote\":\"Introduction to the theory and practice of compiler design. Comparison of features of several programming languages and their implications for implementation techniques.\"}],\"text\":\"Programming languages and compiler design\"}],\"search_phrases\":[\"formal methods program verification\",\"model checking temporal logic\",\"program synthesis privacy\",\"COMPSCI 703 graduate verification\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic reasoning\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy property verification\"}],\"summary\":{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"title\",\"quote\":\"PROGRAM VERIFICATION AND SYNTHESIS\"},{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Formal methods for program verification. Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"COMPSCI 703 teaches formal methods for program verification, including model checking, temporal logic, and program synthesis.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy properties\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"12137f8544afc62bf75fc4945a1b050418f776990292fb8541fd9c1b80fb76f3","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":true},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-789789da373eecc1ff75f626","output_id":"d1c91a916f6cbb26d75e8cb458b5c9212eef49ee3d84a77a52ff6cb897ac1d93","section":"requirements","status":"invalid","value_json":null,"candidate_json":"{\"nodes\":[{\"children\":[],\"condition\":null,\"course\":null,\"evidence\":\"Graduate/professional standing\",\"id\":\"n0\",\"kind\":\"condition\"}],\"notes\":[\"The requirement 'Graduate/professional standing' is modeled as a condition node.\"],\"root\":\"n0\",\"status\":\"parsed\"}","error":"Non-course conditions must preserve verbatim source text","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_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-789789da373eecc1ff75f626","output_id":"d1c91a916f6cbb26d75e8cb458b5c9212eef49ee3d84a77a52ff6cb897ac1d93","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"COMPSCI 536\",\"field\":\"description\",\"quote\":\"Introduction to the theory and practice of compiler design. Comparison of features of several programming languages and their implications for implementation techniques.\"}],\"text\":\"Programming languages and compiler design\"}],\"search_phrases\":[\"formal methods program verification\",\"model checking temporal logic\",\"program synthesis privacy\",\"COMPSCI 703 graduate verification\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic reasoning\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy property verification\"}],\"summary\":{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"title\",\"quote\":\"PROGRAM VERIFICATION AND SYNTHESIS\"},{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Formal methods for program verification. Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"COMPSCI 703 teaches formal methods for program verification, including model checking, temporal logic, and program synthesis.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy properties\"}]}","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_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-789789da373eecc1ff75f626","output_id":"d1c91a916f6cbb26d75e8cb458b5c9212eef49ee3d84a77a52ff6cb897ac1d93","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_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"8e238f1ce7edf0c3fd54422419e77823cb069287b9812a492c3cf9f07ead75b0","section":"requirements","status":"valid","value_json":"{\"nodes\":[{\"children\":[],\"condition\":\"Graduate/professional standing\",\"course\":null,\"evidence\":\"Graduate/professional standing\",\"id\":\"n0\",\"kind\":\"condition\"}],\"notes\":[\"The requirement 'Graduate/professional standing' is modeled as a condition node.\"],\"root\":\"n0\",\"status\":\"parsed\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"8e238f1ce7edf0c3fd54422419e77823cb069287b9812a492c3cf9f07ead75b0","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"COMPSCI 536\",\"field\":\"description\",\"quote\":\"Introduction to the theory and practice of compiler design. Comparison of features of several programming languages and their implications for implementation techniques.\"}],\"text\":\"Programming languages and compiler design\"}],\"search_phrases\":[\"formal methods program verification\",\"model checking temporal logic\",\"program synthesis privacy\",\"COMPSCI 703 graduate verification\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic reasoning\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy property verification\"}],\"summary\":{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"title\",\"quote\":\"PROGRAM VERIFICATION AND SYNTHESIS\"},{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Formal methods for program verification. Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"COMPSCI 703 teaches formal methods for program verification, including model checking, temporal logic, and program synthesis.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy properties\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"8e238f1ce7edf0c3fd54422419e77823cb069287b9812a492c3cf9f07ead75b0","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":true},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"8e238f1ce7edf0c3fd54422419e77823cb069287b9812a492c3cf9f07ead75b0","section":"student_summary","status":"valid","value_json":"{\"context_hash\":\"87e36eb8a319829747dc590e34d30f8fb2cf552fe0ef76bef937f8e6a1089630\",\"course_id\":\"COMPSCI 703\",\"current_instructors\":[],\"difficulty_workload\":[],\"errors\":[],\"historical_context\":[],\"message\":\"No course-specific reviews available\",\"offered\":false,\"profile_hash\":\"5cb4dabf887cdbcd8c00d5a1312e10828b95c63f30bc3ea76aea199565390d02\",\"quick_take\":[{\"citations\":[{\"course_id\":\"COMPSCI 703\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"3e23efe6-72a4-3cc2-ac1f-10ac7a79aa03\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1232\",\"type\":\"grade\"},{\"course_id\":\"COMPSCI 703\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"3e23efe6-72a4-3cc2-ac1f-10ac7a79aa03\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1242\",\"type\":\"grade\"},{\"course_id\":\"COMPSCI 703\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"3e23efe6-72a4-3cc2-ac1f-10ac7a79aa03\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1254\",\"type\":\"grade\"}],\"text\":\"Recent recorded grades — Fall 2022: 3.80 GPA, 96.0% A/AB (n=25 letter grades); Fall 2023: 3.92 GPA, 96.0% A/AB (n=25 letter grades); Spring 2025: 3.77 GPA, 100.0% A/AB (n=11 letter grades).\"}],\"student_experience\":[],\"task_hash\":\"74fb0997943e888960bbc9e47db8c4fd12e4292d55c20509d8d89db6a9910f68\",\"teaching_history\":[],\"term_id\":\"1272\",\"term_name\":\"2026 Fall\",\"version\":2}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":true},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-dab8f6acaa72f26086773521","output_id":"57a4adbb508393a9bf0c40a02a59889f168311aeaed2201960f03db01966a6ea","section":"requirements","status":"valid","value_json":"{\"nodes\":[{\"children\":[],\"condition\":\"Graduate/professional standing\",\"course\":null,\"evidence\":\"Graduate/professional standing\",\"id\":\"n0\",\"kind\":\"condition\"}],\"notes\":[\"The requirement 'Graduate/professional standing' is modeled as a condition node.\"],\"root\":\"n0\",\"status\":\"parsed\"}","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_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-dab8f6acaa72f26086773521","output_id":"57a4adbb508393a9bf0c40a02a59889f168311aeaed2201960f03db01966a6ea","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"COMPSCI 536\",\"field\":\"description\",\"quote\":\"Introduction to the theory and practice of compiler design. Comparison of features of several programming languages and their implications for implementation techniques.\"}],\"text\":\"Programming languages and compiler design\"}],\"search_phrases\":[\"formal methods program verification\",\"model checking temporal logic\",\"program synthesis privacy\",\"COMPSCI 703 graduate verification\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic reasoning\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy property verification\"}],\"summary\":{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"title\",\"quote\":\"PROGRAM VERIFICATION AND SYNTHESIS\"},{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Formal methods for program verification. Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"COMPSCI 703 teaches formal methods for program verification, including model checking, temporal logic, and program synthesis.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking.\"}],\"text\":\"Model checking and temporal logic\"},{\"evidence\":[{\"course_id\":\"COMPSCI 703\",\"field\":\"description\",\"quote\":\"Special topics include: program synthesis, verification and synthesis of privacy properties.\"}],\"text\":\"Program synthesis and privacy properties\"}]}","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_ecff5c2de6527b0350b0998a","course_id":"COMPSCI 703","catalog_version_id":"a13bc62b5475270de86df477ff548d087e7706f8c13f309daf18ec418970800c","record_version_id":"a4e596b022b8c1129d1660c00bb5dc9cf09ff6e6ed786d0c35053bb97db3a9bc","job_id":"enrich-dab8f6acaa72f26086773521","output_id":"57a4adbb508393a9bf0c40a02a59889f168311aeaed2201960f03db01966a6ea","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}]