{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005724864,0.00008026206,0.00007773771,0.0003582582,0.0002041272,0.0002537363,0.000401232,0.00001967998,0.000007091896],"category_scores_gemma":[0.00001578428,0.00006544025,0.00002091355,0.0008394797,0.00002873022,0.0002652757,0.0003285115,0.00007025478,0.0000297879],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000358799,"about_ca_system_score_gemma":0.00001380395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004550359,"about_ca_topic_score_gemma":0.00002958798,"domain_scores_codex":[0.9991024,0.00008901724,0.0001219602,0.0003122066,0.0001991694,0.0001753164],"domain_scores_gemma":[0.9994458,0.0002353884,0.00001645269,0.0002289343,0.00004342259,0.0000300356],"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.00001340454,0.0006233295,0.006075631,0.0001329365,0.00009118593,0.00005443555,0.003363332,0.007534806,0.001605052,0.5989237,0.009318159,0.372264],"study_design_scores_gemma":[0.000616836,0.00007846581,0.1589024,0.00008216599,0.00001012917,0.00001168707,0.0001542113,0.8303396,0.002450863,0.003448569,0.003692256,0.0002127642],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1411448,0.0000232488,0.8386689,0.002142321,0.0003884103,0.000611794,0.000006035271,0.0001145917,0.01689984],"genre_scores_gemma":[0.9901152,0.000001776437,0.008530261,0.0004275189,0.00003283843,0.00006225228,0.00001006364,0.000002562418,0.000817585],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8489703,"threshold_uncertainty_score":0.2668576,"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."}}