{"id":"W4414360062","doi":"10.24963/ijcai.2025/293","title":"Constrained Sequential Inference in Machine Learning Using Constraint Programming","year":2025,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Giro (Canada)","funders":"","keywords":"Sequence (biology); Inference; Constraint (computer-aided design); Context (archaeology); Structured prediction; Constraint programming; Constraint satisfaction; Approximate inference","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.006525955,0.001840309,0.00206564,0.00122591,0.001032662,0.002299256,0.002778596,0.001895958,0.004760813],"category_scores_gemma":[0.02343355,0.0016916,0.001774828,0.002599774,0.003165017,0.002907911,0.002937466,0.004782756,0.0007289665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002935513,"about_ca_system_score_gemma":0.003962743,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01346599,"about_ca_topic_score_gemma":0.02001247,"domain_scores_codex":[0.9954411,0.002664297,0.0001907422,0.000745108,0.0007397309,0.0002190685],"domain_scores_gemma":[0.9731113,0.02440313,0.0006364421,0.0007949686,0.0008068333,0.0002473398],"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.00005841783,0.00005911359,0.0004739375,0.0002011462,0.0001180492,0.0001081728,0.00008104814,0.8449903,0.0002897918,0.1157447,0.002004999,0.03587027],"study_design_scores_gemma":[0.00001275507,0.000009641077,0.00003173787,0.00001190326,0.000005146489,0.000008031289,0.00000666801,0.9055993,0.0001525645,0.09345768,0.0006987827,0.000005805335],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002585316,0.0003407819,0.9948316,0.0004373259,0.00002758103,0.00005691844,0.0001218099,0.0002525788,0.001346076],"genre_scores_gemma":[0.1994526,0.0008926957,0.7921963,0.000568534,0.0002440573,0.0007802078,0.0008993943,0.0005228545,0.004443322],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01346599,"threshold_uncertainty_score":0.03451294,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02369297047802258,"score_gpt":0.2964788435802679,"score_spread":0.2727858731022453,"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."}}