{"id":"W2098084843","doi":"","title":"Simplification Infrastructure for an Implementation of the Chiron Logic","year":2010,"lang":"en","type":"dissertation","venue":"MacSphere (McMaster University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"McMaster University","keywords":"Flexibility (engineering); Computer science; Software engineering; Set (abstract data type); Block (permutation group theory); Automated theorem proving; Programming language; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001143297,0.0002093711,0.0002119547,0.00009929955,0.0002025451,0.00009517697,0.00128358,0.0003035552,0.001267882],"category_scores_gemma":[0.000007269483,0.0001687698,0.0001455712,0.0003639967,0.00003370936,0.0003707251,0.00008806189,0.0002265343,0.000004413116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000653243,"about_ca_system_score_gemma":0.0001498927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001938534,"about_ca_topic_score_gemma":0.00345799,"domain_scores_codex":[0.9988385,0.00008350564,0.0002243506,0.000424611,0.0002173927,0.0002116281],"domain_scores_gemma":[0.9986396,0.00002445409,0.0005331844,0.0005612279,0.0001845102,0.00005704776],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002958679,0.00003435746,0.001022058,0.000184922,0.00004021146,8.304353e-7,0.002407944,0.00002300012,0.00281897,0.2398202,0.0003051941,0.7533128],"study_design_scores_gemma":[0.002344222,0.0007465073,0.05909473,0.00003569604,0.0002786405,0.000009211039,0.0155354,0.001446612,0.01582829,0.04869494,0.8549314,0.001054353],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05825527,0.00016579,0.5614839,0.0003546969,0.008642706,0.006637993,0.00009718438,0.0005053494,0.3638571],"genre_scores_gemma":[0.8884488,0.000007982596,0.00433039,0.00006360356,0.0001788026,0.00001002664,0.0004389109,0.00003054392,0.1064909],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8546262,"threshold_uncertainty_score":0.9996451,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0162442200254636,"score_gpt":0.2494964746365071,"score_spread":0.2332522546110435,"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."}}