{"id":"W4414360375","doi":"10.24963/ijcai.2025/999","title":"Bidirectional Search while Ensuring Meet-In-The-Middle via Effective and Efficient-to-Compute Termination Conditions","year":2025,"lang":"en","type":"article","venue":"","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Prince Edward Island","funders":"","keywords":"Property (philosophy); Heuristic; Range (aeronautics); Inefficiency; Search algorithm; Quality (philosophy)","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.005028037,0.00129265,0.001723478,0.001473267,0.001348302,0.002607018,0.002124854,0.002189201,0.006102569],"category_scores_gemma":[0.02681463,0.0007468189,0.001100684,0.001481871,0.001523013,0.003790381,0.004396496,0.002673633,0.002820163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008119453,"about_ca_system_score_gemma":0.004270257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001922679,"about_ca_topic_score_gemma":0.002788552,"domain_scores_codex":[0.9959607,0.001662567,0.0002904194,0.0004326049,0.00111639,0.0005373675],"domain_scores_gemma":[0.9865484,0.009197736,0.0008560394,0.001656677,0.001269611,0.0004715519],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001164159,0.0005244074,0.003008073,0.0006937157,0.0001018495,0.0004173728,0.0008541083,0.3988387,0.01511096,0.2385846,0.01129749,0.3294046],"study_design_scores_gemma":[0.0001204384,0.0001873735,0.0001530237,0.00009071779,0.00003257019,0.0001456669,0.0001818455,0.8553358,0.007816709,0.1307854,0.005123447,0.00002699293],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01805243,0.0001898698,0.9742851,0.0003377431,0.00003089721,0.0001538697,0.00008822302,0.001083172,0.005778702],"genre_scores_gemma":[0.2639278,0.0001942351,0.731162,0.0002949933,0.00006466995,0.0006009835,0.0003922387,0.0006248503,0.002738272],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006102569,"threshold_uncertainty_score":0.02659112,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01582222554394761,"score_gpt":0.2639076619325896,"score_spread":0.248085436388642,"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."}}