{"id":"W3091761631","doi":"10.3233/fi-2020-1956","title":"Algebraic Structure of Step Traces and Interval Traces","year":2020,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Interval (graph theory); Algebraic number; Algebraic structure; Quotient; Mathematics; Algebra over a field; Interval arithmetic; Semantics (computer science); Subject (documents); Computer science; Discrete mathematics; Pure mathematics; Combinatorics; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0001639529,0.0001247405,0.000201518,0.0000606893,0.0000570506,0.0001432895,0.0006288253,0.00005362122,0.00006887915],"category_scores_gemma":[0.00009659446,0.0001058618,0.00003768248,0.0002465529,0.0001045968,0.001646382,0.0002279788,0.0001352903,0.00001879518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001615021,"about_ca_system_score_gemma":0.00002561665,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004806473,"about_ca_topic_score_gemma":0.000001340545,"domain_scores_codex":[0.9989228,0.00004808851,0.0004614726,0.000142281,0.0002603467,0.0001650564],"domain_scores_gemma":[0.99929,0.00006098259,0.0002266556,0.0002697562,0.00003763855,0.0001149514],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009272958,0.0000826709,0.003195442,0.00152373,0.0001481442,0.000002945416,0.0817171,0.0001116586,0.01482358,0.3280848,0.002739603,0.5674776],"study_design_scores_gemma":[0.002098626,0.001866876,0.02979784,0.0002024216,0.00006205192,0.00008614399,0.006856415,0.7790232,0.1379034,0.006206524,0.03494469,0.0009517694],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5900067,0.000127936,0.4066612,0.001050911,0.0002163276,0.0002810005,0.0000236737,0.0001145394,0.001517761],"genre_scores_gemma":[0.6470198,0.000009923766,0.3523074,0.0006266293,0.0000194223,0.000002691448,0.000003032362,0.000003576989,0.000007547458],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7789116,"threshold_uncertainty_score":0.4316919,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02498228023202442,"score_gpt":0.2631161431096852,"score_spread":0.2381338628776608,"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."}}