{"id":"W4384163226","doi":"10.1145/3605156.3606454","title":"Dependency-Free Capture Tracking","year":2023,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Dependency (UML); Computer science; Tracking (education); Type (biology); Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.0004727029,0.00005619026,0.00005355762,0.00008475872,0.00006619188,0.00008683374,0.001164378,0.00004570189,0.00002972821],"category_scores_gemma":[0.0002167707,0.00004849959,0.00002787502,0.0005234195,0.0000122477,0.0005221119,0.0002609792,0.00008579368,0.0005089],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001601938,"about_ca_system_score_gemma":0.0000210053,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002009591,"about_ca_topic_score_gemma":0.000007497626,"domain_scores_codex":[0.999276,0.00004065914,0.0001056677,0.0001967624,0.0002053316,0.0001755495],"domain_scores_gemma":[0.9991061,0.00004606841,0.00002796774,0.0007431924,0.00003735936,0.00003931381],"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":[6.495048e-7,0.000006864558,0.0001902902,0.000006535115,0.000003002695,0.00001010846,0.0005932453,0.00008254846,0.001242173,0.8963752,0.005991857,0.09549747],"study_design_scores_gemma":[0.0004376081,0.00005536691,0.04380514,0.00002106331,0.000005219987,0.00006037223,0.0002398447,0.5838069,0.04366056,0.3074539,0.01994677,0.0005072558],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003772156,0.00001721389,0.9554728,0.0008072482,0.0005427668,0.00006264089,4.931141e-7,0.0009085957,0.0384161],"genre_scores_gemma":[0.1517276,0.00000655674,0.8451439,0.0002535502,0.0000436686,0.000009793216,0.000001105278,0.000005868831,0.00280793],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5889214,"threshold_uncertainty_score":0.6541049,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04819969474757815,"score_gpt":0.307109957564402,"score_spread":0.2589102628168238,"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."}}