{"id":"W2908230245","doi":"10.48550/arxiv.1810.04316","title":"Convex Functions in ACL2(r)","year":2018,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Regular polygon; Lipschitz continuity; Convex set; Convex analysis; Set (abstract data type); Computer science; Danskin's theorem; Convex function; Metric (unit); Proper convex function; Subderivative; Discrete mathematics; Mathematics; Convex optimization; Algebra over a field; Pure mathematics; Brouwer fixed-point theorem; Fixed-point theorem","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.004679719,0.0008656374,0.0006090068,0.00215324,0.001252211,0.004767648,0.002015715,0.001113139,0.01283128],"category_scores_gemma":[0.008503813,0.0004014806,0.00138655,0.001534291,0.004840673,0.008646552,0.004286034,0.003904855,0.003598587],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002775981,"about_ca_system_score_gemma":0.001017738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004876075,"about_ca_topic_score_gemma":0.002838586,"domain_scores_codex":[0.9949915,0.001819508,0.0004337856,0.0009408232,0.001483898,0.0003304608],"domain_scores_gemma":[0.9947652,0.002441857,0.0004268428,0.0006396435,0.001448913,0.0002776076],"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.000008043507,0.00000330591,0.0000502994,0.00003461078,0.000003846442,0.00004263517,0.0001063067,0.0006610877,0.0001310856,0.9933549,0.001820064,0.003783803],"study_design_scores_gemma":[0.000009182906,0.00001641032,0.0001506695,0.00003892909,0.000009674694,0.0001596341,0.0001024842,0.008624281,0.0005657013,0.9320641,0.0582369,0.00002199235],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009938438,0.0011957,0.8919743,0.003866403,0.000384664,0.00007146935,0.000838337,0.000663835,0.09106687],"genre_scores_gemma":[0.4803184,0.002015933,0.4676728,0.003596855,0.0009491,0.0004808108,0.002281665,0.001001157,0.04168325],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01283128,"threshold_uncertainty_score":0.04292488,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0570811679550669,"score_gpt":0.1732313134221095,"score_spread":0.1161501454670426,"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."}}