{"id":"W7124284345","doi":"10.65109/lzuo9750","title":"Quantitative Group Trust: A Two-Stage Verification Approach","year":2022,"lang":"","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Model checking; Completeness (order theory); Temporal logic; Formal verification; Computation tree logic; Transformation (genetics); Linear temporal logic","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","sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001658507,0.0004138041,0.0004336062,0.0002538092,0.001563983,0.0004870083,0.002138901,0.00008180018,0.00214335],"category_scores_gemma":[0.0001045804,0.0004052299,0.0002618704,0.001783776,0.0002134159,0.0007847033,0.001503069,0.0006507766,0.0004102619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003428681,"about_ca_system_score_gemma":0.0002930532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002736389,"about_ca_topic_score_gemma":0.00002268277,"domain_scores_codex":[0.9955051,0.000869795,0.0005933504,0.001450088,0.0008177243,0.0007639309],"domain_scores_gemma":[0.9977855,0.0001859177,0.0003784355,0.00123963,0.0001623491,0.0002481568],"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":[0.00007193281,0.001006252,0.0003784166,0.00004458866,0.00005692469,0.0000226032,0.01471017,0.00110191,0.0004039988,0.9684701,0.001595889,0.0121372],"study_design_scores_gemma":[0.001260517,0.001172655,0.001208256,0.000005970002,0.00003301004,0.00004538264,0.005878717,0.9433931,0.0001615391,0.002925919,0.04325697,0.0006580116],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01041247,0.001281915,0.7015614,0.0002445626,0.001465223,0.0006365476,0.00002236477,0.0002288846,0.2841466],"genre_scores_gemma":[0.9101872,0.00005009159,0.05634005,0.0003624866,0.0001370345,0.000274455,0.00004416585,0.00002971582,0.03257476],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9655442,"threshold_uncertainty_score":0.99984,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04602922672529543,"score_gpt":0.282570834214908,"score_spread":0.2365416074896126,"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."}}