{"id":"W7023310863","doi":"","title":"Objective-based codes: a progress report","year":2002,"lang":"en","type":"article","venue":"NPARC","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Work (physics); Commission; Plan (archaeology); Publication; Web site","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.04580874,0.001258432,0.0006992142,0.009250739,0.001505356,0.00679938,0.002377498,0.001826145,0.01829788],"category_scores_gemma":[0.05487701,0.0009713248,0.001026109,0.005608725,0.0024094,0.007635299,0.003770418,0.003111789,0.01126538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006581436,"about_ca_system_score_gemma":0.02658405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02924752,"about_ca_topic_score_gemma":0.009743595,"domain_scores_codex":[0.9718652,0.005210497,0.001420973,0.00119245,0.01927471,0.001036131],"domain_scores_gemma":[0.9152123,0.01126192,0.002616534,0.008403938,0.05814805,0.004357252],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001668057,0.0003404481,0.002510948,0.0009108982,0.00003284073,0.00007769663,0.0006259587,0.007525472,0.001486403,0.2288818,0.1848944,0.5725462],"study_design_scores_gemma":[0.00003386642,0.0002180659,0.001542401,0.0008993663,0.00002501434,0.0001747548,0.0003248386,0.007254474,0.005326918,0.01525828,0.9688752,0.00006682538],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0142974,0.02590029,0.652765,0.01991398,0.006943142,0.002228166,0.01016593,0.007554743,0.2602313],"genre_scores_gemma":[0.1066648,0.04956187,0.6049241,0.002304778,0.002240726,0.002325167,0.03350899,0.00531207,0.1931574],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04580874,"threshold_uncertainty_score":0.2422626,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04113480489582425,"score_gpt":0.2997275009794305,"score_spread":0.2585926960836062,"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."}}