{"id":"W2943426458","doi":"","title":"Beagle as a HOL4 external ATP method","year":2014,"lang":"en","type":"preprint","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Beagle; Computer science; Biology; Ecology","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.0008456917,0.0002835275,0.0003626272,0.0001870288,0.00009975909,0.0004924923,0.002426793,0.0002815799,0.0000616212],"category_scores_gemma":[0.00007570499,0.0002574322,0.0001879235,0.000143448,0.00002475254,0.0001099239,0.003188377,0.0005200062,0.0001837281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004461022,"about_ca_system_score_gemma":0.000146534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000227221,"about_ca_topic_score_gemma":0.000001246653,"domain_scores_codex":[0.9979203,0.0002340765,0.0003638227,0.0008307382,0.0003598678,0.000291179],"domain_scores_gemma":[0.9979522,0.0001412196,0.0002469527,0.001370973,0.0001556151,0.0001330091],"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.00001250764,0.0002256808,0.0001717612,0.0001737667,0.0001173161,0.00005426534,0.00166841,0.3209561,0.0002235001,0.3443467,0.04643316,0.2856168],"study_design_scores_gemma":[0.0001062241,0.00005134098,0.00007121802,0.00009778403,0.000006981518,0.00003104464,0.000001073951,0.9028463,0.003183616,0.07880539,0.01441849,0.0003804937],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001510791,0.0001306116,0.9538522,0.0008947451,0.0005854638,0.0001917183,8.19922e-7,0.001975698,0.04221769],"genre_scores_gemma":[0.01554937,0.00003506492,0.9770924,0.001892184,0.0001965484,0.00003108934,0.000004497222,0.00001830242,0.005180555],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5818902,"threshold_uncertainty_score":0.9999878,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02486641868026547,"score_gpt":0.3279997923623752,"score_spread":0.3031333736821097,"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."}}