{"id":"W2594425395","doi":"10.1145/3055282.3055299","title":"Fermat benchmarks for rational expressionals in maple","year":2017,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"Cancer Treatment and Pharmacology","field":"Medicine","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Maple; Fermat's Last Theorem; Benchmark (surveying); Set (abstract data type); Undo; Factor (programming language); Computer science; Fermat number; Mathematics; Algebra over a field; Discrete mathematics; Programming language; Pure mathematics","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.0001997319,0.00009458236,0.0001982847,0.0001234865,0.000249118,0.0000400159,0.001022507,0.00006583118,0.0001969396],"category_scores_gemma":[0.00008433444,0.00009087307,0.00005906816,0.00005467319,0.000111744,0.000147153,0.0007317266,0.00017133,0.00001113028],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001000635,"about_ca_system_score_gemma":0.0001060097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008480562,"about_ca_topic_score_gemma":0.0003741399,"domain_scores_codex":[0.999288,0.00005841524,0.0002538914,0.0001634733,0.00008472559,0.000151512],"domain_scores_gemma":[0.997201,0.0004937564,0.00009440929,0.002104589,0.00006043964,0.00004580705],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0006838972,0.004242563,0.6466699,0.0001525519,0.0002593076,0.00003304588,0.003111528,0.0001527547,0.002955736,0.03382973,0.1774313,0.1304777],"study_design_scores_gemma":[0.009720353,0.0002296294,0.8364772,0.0003273694,0.00005728655,0.00003326174,0.00003476857,0.02460426,0.000716532,0.03316564,0.09435808,0.0002756245],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8441743,0.002302589,0.003045282,0.1384645,0.0008923956,0.002529542,0.00008305352,0.00006858972,0.008439822],"genre_scores_gemma":[0.9217191,0.0002289673,0.07578137,0.001072261,0.0001372761,0.000396755,0.0004602018,0.000009618911,0.00019449],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1898074,"threshold_uncertainty_score":0.3705696,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1057838314287284,"score_gpt":0.4335389077643416,"score_spread":0.3277550763356132,"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."}}