{"id":"W4288598845","doi":"","title":"Identifying key ideas in proof: the case of the irrationality of √k","year":2019,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Artificial Intelligence in Law","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Irrationality; Key (lock); Computer science; Proof of concept; Mathematical economics; Mathematics; Epistemology; Computer security; Philosophy; Rationality","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.02640172,0.0008678127,0.00205771,0.002829374,0.003771396,0.01111766,0.002983453,0.006718186,0.01087754],"category_scores_gemma":[0.09765694,0.001478344,0.002035452,0.003489387,0.02164712,0.02463978,0.009089516,0.008973751,0.001735041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00475267,"about_ca_system_score_gemma":0.002985293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001615481,"about_ca_topic_score_gemma":0.0006466604,"domain_scores_codex":[0.9830447,0.008870376,0.001161157,0.002379982,0.003105571,0.001438142],"domain_scores_gemma":[0.8835067,0.09334264,0.004668963,0.01248377,0.004173449,0.001824425],"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.00005337894,0.000007481271,0.0001431996,0.00003891671,0.000007613418,0.0001526202,0.0005030315,0.000518361,0.0001203162,0.9948354,0.0006568931,0.002962821],"study_design_scores_gemma":[0.00001232905,0.000002160963,0.00002539438,0.000009282861,0.000003103166,0.00003886981,0.0000460974,0.001397087,0.0001007998,0.9975194,0.0008405864,0.000004820176],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1142226,0.003255514,0.692679,0.05028943,0.0006136447,0.0001528307,0.0002925692,0.0009753426,0.137519],"genre_scores_gemma":[0.9259592,0.0007997304,0.06440111,0.001129978,0.0002995082,0.0001238357,0.0000748714,0.000277436,0.006934366],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02640172,"threshold_uncertainty_score":0.1396273,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05213636681071079,"score_gpt":0.3284563582104416,"score_spread":0.2763199913997308,"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."}}