{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004770045,0.0002695333,0.0003026949,0.000132164,0.0001951252,0.0002210987,0.0009528174,0.0001773395,0.00002814318],"category_scores_gemma":[0.00005501195,0.0001833306,0.00007648757,0.0001747406,0.000286585,0.00006126038,0.00019369,0.0004377514,0.00003318285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002066782,"about_ca_system_score_gemma":0.0001126585,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001398632,"about_ca_topic_score_gemma":0.000103767,"domain_scores_codex":[0.998529,0.00001483958,0.0003265969,0.0004019237,0.0003737464,0.0003538623],"domain_scores_gemma":[0.9985014,0.0005380847,0.00004717258,0.0007996644,0.0000519657,0.00006170633],"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.000004264774,0.00001263111,0.0003437311,0.0004511693,0.00005445207,0.00001497485,0.0006692505,0.2299698,0.00009027588,0.006219887,0.0008544557,0.7613151],"study_design_scores_gemma":[0.0001269997,0.00002243692,0.0002336141,0.0006070785,0.00001067647,0.00001082216,2.423269e-7,0.9268122,0.0003799822,0.05590862,0.01550178,0.0003855444],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001914068,0.0008485608,0.9552521,0.000128191,0.002526799,0.0003177694,0.000004420124,0.0001438302,0.040587],"genre_scores_gemma":[0.9861606,0.0001642404,0.005414666,0.0002616762,0.0005703517,0.00001845681,0.000005560561,0.0000436822,0.007360731],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9859692,"threshold_uncertainty_score":0.7476007,"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."}}