{"id":"W1616547254","doi":"10.1007/978-3-540-75560-9_31","title":"Faster Phylogenetic Inference with MXG","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Cardinality (data modeling); Axiom; Computer science; Solver; Inference; Set (abstract data type); Task (project management); Theoretical computer science; Algorithm; Programming language; Discrete mathematics; Mathematics; Artificial intelligence; Data mining","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.001422805,0.0006041623,0.0004934049,0.001021535,0.00021041,0.0005197667,0.004246696,0.0003702851,0.00002506329],"category_scores_gemma":[0.0001165529,0.0004982314,0.00008110824,0.0009373801,0.001065395,0.0007070056,0.001118581,0.0009405087,0.00009800887],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002946127,"about_ca_system_score_gemma":0.0005642788,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001189771,"about_ca_topic_score_gemma":0.0000596721,"domain_scores_codex":[0.9955493,0.00004867703,0.0005632699,0.001689402,0.001322999,0.0008263708],"domain_scores_gemma":[0.9964707,0.0004274841,0.0003760995,0.002140512,0.0003727186,0.0002125089],"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.00001102198,0.00002269685,0.0001560521,0.00003729236,0.000009129009,0.00006840877,0.0005752264,0.01281408,0.0002159235,0.07274599,0.000001950509,0.9133422],"study_design_scores_gemma":[0.0008175495,0.00131823,0.003091353,0.001221422,0.00002778914,0.0004041148,4.510908e-7,0.7224827,0.01447675,0.2479926,0.005351418,0.002815578],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001552641,0.0002263926,0.987208,0.0001367136,0.001136071,0.0004225386,0.000002149381,0.0001747747,0.01053806],"genre_scores_gemma":[0.06147851,0.00002404608,0.9367174,0.001134185,0.0002725924,0.000009789542,0.000002291043,0.00003598984,0.0003252294],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9105266,"threshold_uncertainty_score":0.9997469,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03965187929552991,"score_gpt":0.2954027223685919,"score_spread":0.255750843073062,"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."}}