{"id":"W4411187141","doi":"10.1007/978-3-031-93112-3_12","title":"The Differentiable Feasibility Pump","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Hydraulic and Pneumatic Systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Differentiable function; Computer science; Mathematics; Mathematical analysis","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.0005533042,0.0006229612,0.0007829954,0.000746911,0.0007624566,0.002334189,0.0008381356,0.00118937,0.03703305],"category_scores_gemma":[0.002212835,0.0005731545,0.0006902082,0.0007617202,0.001655021,0.00422276,0.002485224,0.003686811,0.007834033],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008615239,"about_ca_system_score_gemma":0.00087158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004322024,"about_ca_topic_score_gemma":0.0002577156,"domain_scores_codex":[0.9996489,0.00007409082,0.00001701799,0.00008358098,0.0001426608,0.00003373063],"domain_scores_gemma":[0.9997056,0.0001124889,0.00002343251,0.00007024864,0.00005947857,0.00002868321],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002327782,0.0000113121,0.00003233975,0.00003767636,0.000004000514,0.000036229,0.00002483612,0.001730026,0.0007763277,0.9439529,0.0081051,0.04526591],"study_design_scores_gemma":[0.00001304901,0.00002793027,0.0001262786,0.00004104524,0.000008243403,0.0001743235,0.00002995355,0.02326306,0.001459894,0.8794197,0.09542001,0.00001655919],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008108827,0.003825007,0.5344319,0.00321835,0.0008433727,0.00006819749,0.0003940443,0.000668999,0.4484413],"genre_scores_gemma":[0.3430411,0.008408166,0.173229,0.001034267,0.001024152,0.0002618766,0.0007712058,0.001155029,0.4710753],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03703305,"threshold_uncertainty_score":0.1238879,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01426481783033081,"score_gpt":0.2262220496185397,"score_spread":0.2119572317882089,"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."}}