{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002726834,0.0001173638,0.0001401879,0.0003042904,0.0001154063,0.0002034605,0.0002069416,0.00006224622,0.0001333034],"category_scores_gemma":[0.0001862625,0.0001191273,0.00003941079,0.0006867157,0.0001110307,0.0003280343,0.0001254057,0.0002255356,0.000005110478],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000853011,"about_ca_system_score_gemma":0.0003005959,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002254345,"about_ca_topic_score_gemma":0.0002671649,"domain_scores_codex":[0.9989783,0.00008869919,0.0002909249,0.0002877735,0.0001208999,0.0002334283],"domain_scores_gemma":[0.9995363,0.0001318895,0.00006473782,0.0001527345,0.00006694859,0.00004743447],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006046479,0.00004866586,0.05252443,0.0000222383,0.00001977504,0.00002504736,0.0003390651,0.04142892,0.002271482,0.3697979,0.000003625113,0.5335128],"study_design_scores_gemma":[0.0005685997,0.0000161855,0.001263043,0.00005444635,0.000003835331,0.00001370922,0.0001165493,0.9959569,0.000549683,0.0007273013,0.0005856596,0.0001440985],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009196639,0.00002195311,0.9815275,0.0004601961,0.0002103477,0.0001936766,6.43022e-7,0.0002378045,0.008151238],"genre_scores_gemma":[0.8290366,0.000005410614,0.1706206,0.0001507245,0.00000611458,0.00000506047,0.000003306486,0.000002627167,0.0001695947],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.954528,"threshold_uncertainty_score":0.4857872,"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."}}