{"id":"W7001376806","doi":"","title":"Invention of new statements for counterexamples","year":2014,"lang":"en","type":"other","venue":"Institutional Repositories DataBase (IRDB)","topic":"","field":"","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Japan Society for the Promotion of Science; University of Exeter","keywords":"Counterexample; Calculus (dental); Algebra over a field; Statement (logic)","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000470642,0.0005825683,0.0007142426,0.0005057119,0.00021982,0.0001063621,0.0005733839,0.0003149319,0.00079752],"category_scores_gemma":[0.0006261306,0.0005919368,0.0002533195,0.0002952416,0.0005312378,0.0005944237,0.000235029,0.0002106018,0.0006813402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004331016,"about_ca_system_score_gemma":0.001474723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006018097,"about_ca_topic_score_gemma":0.001880706,"domain_scores_codex":[0.9964167,0.00008778319,0.0009965419,0.0008186076,0.001231088,0.0004492977],"domain_scores_gemma":[0.9967667,0.0001257405,0.001357807,0.001117885,0.0003843237,0.0002475717],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002664101,0.0001811012,0.0005918999,0.0009584326,0.0004873299,0.00001374203,0.00003385808,0.00002701209,0.002946018,0.1019134,0.8923985,0.0001822211],"study_design_scores_gemma":[0.001599712,0.0001112077,0.0001190692,0.002213597,0.000265588,0.00003163167,0.00001953944,0.00004351663,0.002073693,0.0008979299,0.992093,0.0005314858],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000963086,0.004446329,0.1845294,0.0001104254,0.02349084,0.005760237,0.1468814,0.001655183,0.6321632],"genre_scores_gemma":[0.009118176,0.0002923347,0.04492567,0.0001625159,0.01275665,0.0005989584,0.1069788,0.002272151,0.8228948],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1907316,"threshold_uncertainty_score":0.9996532,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05796045193317528,"score_gpt":0.3544811022478523,"score_spread":0.296520650314677,"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."}}