{"id":"W4230775177","doi":"10.1090/ulect/070/10","title":"Strong orbit equivalence","year":2018,"lang":"en","type":"book-chapter","venue":"University lecture series","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Orbit (dynamics); Equivalence (formal languages); Astronomy; Geodesy; Astrobiology; Physics; Mathematics; Geology; Pure mathematics; Aerospace engineering; Engineering","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003527444,0.0005141912,0.0004707822,0.001141755,0.00140522,0.002271804,0.0004677848,0.0005545848,0.02842883],"category_scores_gemma":[0.0008725866,0.0002473319,0.0005490792,0.0008010601,0.002275026,0.004891311,0.002643927,0.002411378,0.004838873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001264933,"about_ca_system_score_gemma":0.0005946644,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006094461,"about_ca_topic_score_gemma":0.0005555053,"domain_scores_codex":[0.9995782,0.00005048388,0.00001927677,0.00009846048,0.0001851077,0.00006851083],"domain_scores_gemma":[0.9997411,0.00007398947,0.00001408035,0.00006246668,0.00007477887,0.00003361255],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009505962,0.000006712549,0.00002989132,0.00002557884,0.000002832849,0.00001186546,0.00008836418,0.0001145154,0.0003518897,0.9807047,0.005207906,0.0134463],"study_design_scores_gemma":[0.000004225129,0.000009440252,0.0001069944,0.00001762431,0.0000047636,0.00004659555,0.00005766203,0.0004321676,0.0005222599,0.945821,0.0529733,0.00000396183],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01710974,0.001882219,0.04257736,0.001916116,0.000982826,0.00003585079,0.0002347136,0.0002792873,0.9349818],"genre_scores_gemma":[0.5646063,0.004041469,0.01699309,0.00108965,0.001420052,0.0001254089,0.001066176,0.0005601833,0.4100976],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02842883,"threshold_uncertainty_score":0.09510386,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01430101133804297,"score_gpt":0.1904465949886565,"score_spread":0.1761455836506135,"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."}}