{"id":"W4401023548","doi":"10.24963/ijcai.2024/999","title":"Bidirectional Search while Ensuring Meet-In-The-Middle via Effective and Efficient-to-Compute Termination Conditions","year":2024,"lang":"en","type":"article","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Prince Edward Island","funders":"Engineering and Physical Sciences Research Council; UK Research and Innovation","keywords":"Computer science; Human–computer interaction; Interface (matter); Interactive Learning; Artificial intelligence; Multimedia; Operating system","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.005739281,0.001398594,0.001825304,0.001631183,0.001549628,0.003010426,0.002216138,0.0024292,0.006859921],"category_scores_gemma":[0.03354349,0.0008598468,0.001351814,0.001594387,0.001797731,0.004454507,0.004976545,0.002890796,0.002784731],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001026634,"about_ca_system_score_gemma":0.004898772,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002285036,"about_ca_topic_score_gemma":0.00341761,"domain_scores_codex":[0.9952932,0.001953447,0.0003443312,0.0005400609,0.001269273,0.0005996766],"domain_scores_gemma":[0.9836708,0.01159759,0.0008922288,0.001816083,0.001507124,0.0005160797],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001024359,0.0004988018,0.002918047,0.0007428075,0.0001113838,0.0004294096,0.0009724112,0.3945453,0.01246983,0.2649513,0.01050869,0.3108277],"study_design_scores_gemma":[0.0001096426,0.0001466456,0.0001467528,0.00009979384,0.00003896201,0.0001255462,0.0002113563,0.8345042,0.006556153,0.1532084,0.004825512,0.00002711885],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01552598,0.0001623867,0.9771657,0.0003504564,0.00003061357,0.0001594842,0.00008659552,0.001037466,0.005481392],"genre_scores_gemma":[0.2311303,0.000176649,0.7642112,0.0002898117,0.00005870316,0.0006088956,0.0003957716,0.0006881173,0.002440493],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006859921,"threshold_uncertainty_score":0.03035259,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02535374482257607,"score_gpt":0.2763743180233199,"score_spread":0.2510205732007438,"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."}}