{"id":"W4300632646","doi":"10.1109/case.1995.465302","title":"Program understanding as constraint satisfaction","year":2002,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Constraint satisfaction; Heuristics; Constraint programming; Source code; Programming language; Constraint satisfaction problem; Code (set theory); Heuristic; Template; Constraint (computer-aided design); Theoretical computer science; Software engineering; Artificial intelligence; Mathematical optimization","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0000712719,0.00008195527,0.00006698493,0.00009377829,0.0001355414,0.0002117785,0.000107182,0.00004431956,0.002335391],"category_scores_gemma":[0.00002072675,0.00007777182,0.00003784001,0.000263493,0.00005201072,0.000474724,0.00003138933,0.00007656013,0.000339202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001158499,"about_ca_system_score_gemma":0.00001562713,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002581001,"about_ca_topic_score_gemma":0.00004204551,"domain_scores_codex":[0.9992951,0.00002518385,0.0001396297,0.0002112404,0.0001686388,0.0001602644],"domain_scores_gemma":[0.9996251,0.00003503357,0.00004408131,0.0001866152,0.00002846783,0.00008069226],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[4.0568e-7,0.00001920919,0.001323999,0.000001767226,0.000006432423,0.000003715677,0.0001528631,0.0001031082,0.00004444192,0.5315173,0.0008955271,0.4659312],"study_design_scores_gemma":[0.000884801,0.0002484003,0.01002185,0.00002106816,0.000009194004,0.0003220126,0.0007053129,0.9559153,0.0004294579,0.02397644,0.006963778,0.0005024032],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009707892,0.000009032389,0.8502918,0.001853978,0.0002512645,0.0001841964,2.726136e-7,0.0007099323,0.1457287],"genre_scores_gemma":[0.923883,0.0000239286,0.07516255,0.0003245604,0.00001778442,0.00001103926,6.815113e-7,0.000003831742,0.0005725761],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9558122,"threshold_uncertainty_score":0.9985766,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05621015687407088,"score_gpt":0.2647618314595699,"score_spread":0.2085516745854991,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}