{"id":"W4407271028","doi":"10.1007/s00366-025-02114-2","title":"Feed-forward neural networks as a mixed-integer program","year":2025,"lang":"en","type":"article","venue":"Engineering With Computers","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Artificial neural network; Integer (computer science); Integer programming; Computer science; Algorithm; Artificial intelligence; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001907044,0.0002984162,0.000272753,0.000247516,0.0001362628,0.0003105796,0.001093868,0.00008615237,0.000002651421],"category_scores_gemma":[0.00006150459,0.0002670703,0.00008729319,0.0009771027,0.00003816053,0.0003642057,0.0004719081,0.000554922,0.000009582413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008846923,"about_ca_system_score_gemma":0.0000518766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002354389,"about_ca_topic_score_gemma":0.00000178796,"domain_scores_codex":[0.9984385,0.00004170396,0.0002271817,0.0005112674,0.0002528024,0.000528546],"domain_scores_gemma":[0.998944,0.0002298983,0.00006482627,0.0005745688,0.00006343644,0.0001232902],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008759303,0.00002421636,0.000391775,0.00002211068,0.00006014995,0.00005178697,0.00009949884,0.934836,0.00000292533,0.01536264,0.0006440185,0.04849609],"study_design_scores_gemma":[0.0004251319,0.0001395275,0.001534137,0.0001447767,0.00001248322,0.00003582525,0.000007780533,0.9919089,0.00001959105,0.00004224169,0.005442795,0.0002867847],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004962855,0.00008793709,0.9887161,0.0007530716,0.002946109,0.0003004305,1.399974e-7,0.001725696,0.000507665],"genre_scores_gemma":[0.7403033,0.000001427304,0.2590367,0.0002895849,0.0001482908,0.00004170828,0.000002653823,0.00002493817,0.0001513725],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7353404,"threshold_uncertainty_score":0.9999781,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.002862062500412858,"score_gpt":0.2169001375323164,"score_spread":0.2140380750319035,"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."}}