{"id":"W1998720940","doi":"10.1007/s10817-004-3243-2","title":"Octopus: Combining Learning and Parallel Search","year":2004,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"McGill University","keywords":"octopus (software); Automated theorem proving; Computer science; Artificial intelligence; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.001140279,0.0001271794,0.0002741186,0.0001776346,0.00023843,0.0003590849,0.0003736263,0.00008285764,0.00000333581],"category_scores_gemma":[0.0001621889,0.00009936091,0.0000758983,0.0003077684,0.00004610646,0.0005095085,0.0001317805,0.0004406802,0.0000123465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006704377,"about_ca_system_score_gemma":0.0001469275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004621613,"about_ca_topic_score_gemma":0.000001452689,"domain_scores_codex":[0.9986058,0.0001240443,0.0003990302,0.0001702369,0.0003852521,0.0003155992],"domain_scores_gemma":[0.9990886,0.00008641114,0.0003539902,0.0001239067,0.000183379,0.0001637541],"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.000100033,0.0004587529,0.06372007,0.0002790375,0.000667096,0.003302455,0.03557033,0.06353395,0.008419163,0.7131743,0.0005622136,0.1102125],"study_design_scores_gemma":[0.02003575,0.006712616,0.0559506,0.001909962,0.0001906524,0.03398344,0.008470089,0.7969128,0.00769646,0.04142899,0.02420027,0.002508354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4264464,0.002845412,0.5652433,0.0006950031,0.0008449762,0.0001549242,8.426343e-8,0.0008060578,0.002963826],"genre_scores_gemma":[0.9623268,0.0000774183,0.03738947,0.00003209442,0.00008935656,8.236074e-7,3.360146e-7,0.00001074439,0.00007297039],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7333789,"threshold_uncertainty_score":0.405182,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01679382453364086,"score_gpt":0.2775686066946598,"score_spread":0.260774782161019,"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."}}