{"id":"W7098985105","doi":"","title":"and L.C.Paulson. MetiTarski: An Automatic Prover for the Elementary Functions","year":2016,"lang":"en","type":"article","venue":"","topic":"Genomics, phytochemicals, and oxidative stress","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Gas meter prover; Automated theorem proving; Algebra over a field; Resolution (logic); Algebraic number; Automated reasoning; Elementary function; Calculus (dental); Scheme (mathematics)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003680678,0.001881272,0.001283428,0.003685044,0.00185797,0.002409211,0.002993229,0.001846714,0.0363336],"category_scores_gemma":[0.01109376,0.002112431,0.001722671,0.002635739,0.002724609,0.0103295,0.003618625,0.005716749,0.01623604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001940586,"about_ca_system_score_gemma":0.001447913,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00323111,"about_ca_topic_score_gemma":0.00455273,"domain_scores_codex":[0.9970142,0.0009225837,0.0002079117,0.0005752598,0.001002768,0.0002774094],"domain_scores_gemma":[0.9936767,0.004614772,0.0002303969,0.0004725999,0.0008336194,0.000171957],"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.0006439763,0.0002313643,0.001167874,0.00152458,0.0001110105,0.0007150469,0.0008449068,0.005484847,0.01032623,0.4814954,0.235982,0.2614727],"study_design_scores_gemma":[0.0002890239,0.0001480512,0.001105296,0.0003556236,0.0001596081,0.0008413285,0.0002903632,0.05216313,0.04505378,0.4991593,0.4001333,0.0003012788],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.00442566,0.005079195,0.9367832,0.01135626,0.001115287,0.0002318624,0.001986284,0.01070688,0.02831532],"genre_scores_gemma":[0.08645085,0.004627128,0.8410583,0.004753912,0.001041835,0.0005455478,0.003460769,0.005969059,0.05209273],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.0363336,"threshold_uncertainty_score":0.121548,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01132988887271037,"score_gpt":0.2519490611716068,"score_spread":0.2406191722988965,"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."}}