{"id":"W7123347847","doi":"10.1109/cdc57313.2025.11312331","title":"Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations","year":2025,"lang":"","type":"article","venue":"","topic":"Model Reduction and Neural Networks","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Reachability; Curse of dimensionality; Computation; Reduction (mathematics); Dimensionality reduction; Decomposition; Value (mathematics)","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.0005903178,0.000508009,0.0006527456,0.0005519405,0.0004182322,0.0007459924,0.000896471,0.0006752341,0.003496721],"category_scores_gemma":[0.002115109,0.0003069873,0.0006019969,0.0003332311,0.0009777187,0.001023248,0.001796082,0.0009896108,0.0003862559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007951712,"about_ca_system_score_gemma":0.0009931916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002539363,"about_ca_topic_score_gemma":0.002165988,"domain_scores_codex":[0.9997754,0.00006023252,0.00001557872,0.00003548544,0.00007527722,0.00003802558],"domain_scores_gemma":[0.9994611,0.0002817906,0.00004405694,0.00007710326,0.0000831018,0.00005283667],"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.0001018177,0.00005803577,0.0005080534,0.0001018441,0.00003432326,0.0001384695,0.0001838241,0.7079,0.009306051,0.2477737,0.001461803,0.03243207],"study_design_scores_gemma":[0.000003831903,0.000008709207,0.00001626106,0.000002989328,0.000002083202,0.00000452421,0.000005351482,0.9840561,0.0004709985,0.01525775,0.0001686495,0.000002764297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03458762,0.00008840818,0.9586503,0.0001621493,0.00003490602,0.00004533074,0.00003915901,0.0003433631,0.006048711],"genre_scores_gemma":[0.8292595,0.0001431257,0.1656026,0.0001249545,0.00001959808,0.0001627049,0.00009648913,0.0001881741,0.004402926],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003496721,"threshold_uncertainty_score":0.01169777,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03259368450120318,"score_gpt":0.3023133820123112,"score_spread":0.269719697511108,"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."}}