{"id":"W4250583308","doi":"10.1145/2578855.2535885","title":"Proofs that count","year":2014,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Computer science; Construct (python library); Argument (complex analysis); Programming language; Key (lock); Field (mathematics); Theoretical computer science; Counting problem; Calculus (dental); Algorithm; Mathematics; Computer security","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007512979,0.00009824822,0.0001053615,0.00005385946,0.00009552816,0.0001721692,0.001736803,0.00005231269,0.00001608867],"category_scores_gemma":[0.0006013313,0.00008289926,0.00002544851,0.0001522217,0.00003972804,0.0006787364,0.0002531596,0.00009482962,0.0002770315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001999682,"about_ca_system_score_gemma":0.0000190711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001993901,"about_ca_topic_score_gemma":0.000007476167,"domain_scores_codex":[0.9989941,0.0001180856,0.0001302869,0.0002724727,0.0002758038,0.0002093216],"domain_scores_gemma":[0.9983674,0.0002920485,0.0001142769,0.001122454,0.00004296943,0.00006081903],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001501929,0.00008454077,0.01144578,0.000092982,0.00002274487,0.000005148921,0.002042212,0.0002692463,0.00158671,0.6548057,0.00325439,0.3263755],"study_design_scores_gemma":[0.0007598948,0.0004914666,0.1210669,0.00009301206,0.00003158371,0.00003555461,0.000105694,0.4060246,0.06647257,0.05292443,0.350987,0.001007248],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05660335,0.00009825289,0.92023,0.001370055,0.001287661,0.0002161148,0.000001958461,0.0004228181,0.0197698],"genre_scores_gemma":[0.5472566,0.000002593488,0.4521441,0.0003884594,0.00007866343,0.000009773201,0.000001711648,0.00000488559,0.0001131508],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6018813,"threshold_uncertainty_score":0.3560772,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04731228292968221,"score_gpt":0.2918763414241972,"score_spread":0.244564058494515,"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."}}