{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003949033,0.002283495,0.001370687,0.002465786,0.001622898,0.003987814,0.00378554,0.001359795,0.05397853],"category_scores_gemma":[0.0190448,0.0009386941,0.002047969,0.004191025,0.001272962,0.007584071,0.003155167,0.003076493,0.02128711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002464365,"about_ca_system_score_gemma":0.002283254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002385856,"about_ca_topic_score_gemma":0.004647372,"domain_scores_codex":[0.9943321,0.001248541,0.0004978477,0.0006644021,0.002440896,0.0008162445],"domain_scores_gemma":[0.9910657,0.004720628,0.0003615892,0.002037954,0.001562719,0.0002513562],"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.002368897,0.0005441851,0.003232754,0.001897938,0.0001397005,0.0005820153,0.0006003656,0.02683247,0.01593945,0.2324074,0.3326938,0.3827611],"study_design_scores_gemma":[0.0009282623,0.0005770474,0.002129423,0.0004016494,0.0001283622,0.0008140816,0.0004184658,0.3372965,0.1023005,0.2256218,0.329143,0.0002408977],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06904588,0.002131226,0.5415829,0.001780225,0.0008303937,0.0004272134,0.009293788,0.219164,0.1557443],"genre_scores_gemma":[0.3314828,0.0009156859,0.5845236,0.0009765397,0.0003403331,0.0007299861,0.0204138,0.03397217,0.02664508],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.05397853,"threshold_uncertainty_score":0.1805762,"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."}}