{"id":"W4243475163","doi":"10.1109/icse.2003.1201295","title":"/spl chi/Chek: A model checker for multi-valued reasoning","year":2003,"lang":"en","type":"article","venue":"25th International Conference on Software Engineering, 2003. Proceedings.","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Model checking; Symbolic trajectory evaluation; Computer science; Computation tree logic; Generalization; Extension (predicate logic); Temporal logic; Theoretical computer science; Programming language; Linear temporal logic; Algorithm; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"simulation_or_modeling","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"medium","status":"direct model label, unvalidated"},{"model":"gpt","categories":[],"domain":null,"study_design":"theoretical_or_conceptual","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"high","status":"direct model label, unvalidated"}],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007249785,0.0003692214,0.0002673024,0.0002740998,0.000130982,0.0003534368,0.001176819,0.0001835368,0.0000433712],"category_scores_gemma":[0.00381645,0.0003846654,0.00009774892,0.0005100978,0.00003771175,0.0009235076,0.0001095124,0.0003618209,0.00004177923],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002369545,"about_ca_system_score_gemma":0.0002084768,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003135176,"about_ca_topic_score_gemma":4.397157e-7,"domain_scores_codex":[0.9977755,0.00001223579,0.0004427399,0.0007112952,0.0005614063,0.0004968052],"domain_scores_gemma":[0.9978247,5.444383e-7,0.0002419575,0.0002921201,0.001462086,0.0001785375],"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.00001444371,0.00007265215,0.0002650342,0.00003880902,0.0000362389,0.000001124645,0.0003574707,0.002266979,0.00002670595,0.9962275,0.0006625518,0.00003048333],"study_design_scores_gemma":[0.0006499531,0.00008610203,0.0002970695,0.00012325,0.000008888057,0.00001791015,0.00003151321,0.9879688,0.006716176,0.00007106805,0.003603867,0.0004253922],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002718195,0.00003157528,0.9922743,0.000001675859,0.00111588,0.0004789735,0.00002116854,0.0006091866,0.00274908],"genre_scores_gemma":[0.003237636,0.0000265289,0.9946276,0.0002111434,0.0001031799,0.0003336993,0.00001649073,0.00004991551,0.001393821],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9961565,"threshold_uncertainty_score":0.9998605,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08485247251597294,"score_gpt":0.3296170011743911,"score_spread":0.2447645286584182,"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."}}