{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01030784,0.002171203,0.001577714,0.005883829,0.002088886,0.007554034,0.004237491,0.003240453,0.05261625],"category_scores_gemma":[0.0680835,0.001422173,0.003997623,0.003260357,0.003801226,0.01448815,0.0100018,0.005111296,0.0182423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001452043,"about_ca_system_score_gemma":0.002270265,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005187246,"about_ca_topic_score_gemma":0.0007096768,"domain_scores_codex":[0.9859322,0.00398477,0.001351744,0.002457518,0.005197588,0.001076116],"domain_scores_gemma":[0.9595033,0.02277019,0.001383187,0.01147615,0.004201156,0.000666004],"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.0004662942,0.0002293214,0.001610478,0.001073767,0.0001482405,0.00150213,0.001299441,0.003023978,0.006559315,0.5937773,0.07477804,0.3155316],"study_design_scores_gemma":[0.0001760631,0.0001106446,0.0006477999,0.0009811228,0.0002825223,0.003133694,0.0004707337,0.03525725,0.02163995,0.5428325,0.3943447,0.0001229427],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02563174,0.003561303,0.771762,0.007769474,0.004379625,0.0008861974,0.004110016,0.02340676,0.1584929],"genre_scores_gemma":[0.2776974,0.002601286,0.6431707,0.002935475,0.001729023,0.0008639847,0.008888642,0.009219484,0.05289393],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.05261625,"threshold_uncertainty_score":0.1760188,"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."}}