{"id":"W2952165359","doi":"10.48550/arxiv.1608.08584","title":"Error Invariants for Concurrent Traces","year":2016,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Atomicity; Concurrency; TRACE (psycholinguistics); Computer science; Slicing; Programmer; Programming language; Program slicing; Debugging; Theoretical computer science; Algorithm; Database transaction","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001520537,0.0002873845,0.0002880666,0.0001561077,0.00006381574,0.00003061657,0.0004823629,0.0003476415,0.00006036197],"category_scores_gemma":[0.00004483737,0.0003104036,0.0001531008,0.0001209143,0.00005357672,0.0001401964,0.0001097392,0.0003806167,0.00007584486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004430685,"about_ca_system_score_gemma":0.0001005396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005308274,"about_ca_topic_score_gemma":0.00002635114,"domain_scores_codex":[0.9988933,0.0000453946,0.000159919,0.0004635929,0.00004855385,0.0003892513],"domain_scores_gemma":[0.9990746,0.000217045,0.00009299273,0.0004444744,0.00006042377,0.0001104138],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001481918,0.00002201818,0.0000749143,0.0002356317,0.0001809529,0.00001359134,0.00005646961,0.9367628,0.0001004104,0.05790385,0.002976371,0.001658147],"study_design_scores_gemma":[0.0008182777,0.00004782055,0.0001707341,0.0001027724,0.0001192853,0.0000013779,0.00001475843,0.965166,0.0005277606,0.02086894,0.01166149,0.0005008042],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3705364,0.0005987076,0.6159627,0.00005981993,0.004182612,0.00122539,0.0003683854,0.0008952429,0.006170674],"genre_scores_gemma":[0.9985686,0.0001574303,0.00008509023,0.00001644995,0.0001906933,0.000006553973,0.00004417984,0.00005785801,0.0008731512],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6280322,"threshold_uncertainty_score":0.9999348,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06046726362306726,"score_gpt":0.1912735990325088,"score_spread":0.1308063354094415,"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."}}