{"id":"W2973514284","doi":"10.1007/978-3-030-30048-7_24","title":"Training Binarized Neural Networks Using MIP and CP","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Neural Network Applications","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"The Scarborough Hospital; University of Toronto; Vector Institute","funders":"Comisión Nacional de Investigación Científica y Tecnológica; Natural Sciences and Engineering Research Council of Canada; Microsoft Research","keywords":"MNIST database; Computer science; Artificial neural network; Artificial intelligence; Constraint (computer-aided design); Set (abstract data type); Integer programming; Range (aeronautics); Machine learning; Class (philosophy); Deep neural networks; Gradient descent; Mathematical optimization; Algorithm; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.0004293757,0.0005428136,0.0005835727,0.0004862579,0.0003618977,0.0004811015,0.002305601,0.0002937396,0.000005625537],"category_scores_gemma":[0.00003527462,0.0005189638,0.00009840207,0.0007504923,0.000676083,0.0007311564,0.001581312,0.000979173,0.000007538468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001734488,"about_ca_system_score_gemma":0.0002664507,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007115385,"about_ca_topic_score_gemma":0.00001508834,"domain_scores_codex":[0.9963953,0.00003477662,0.0004762345,0.001731212,0.0005647938,0.0007976046],"domain_scores_gemma":[0.9973468,0.0006758522,0.0003298412,0.001322545,0.0001254108,0.0001995068],"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.000003141904,0.000005344924,0.00002262263,0.000009468289,0.000004409144,0.00002302355,0.0002465964,0.5013056,0.000185713,0.01068026,0.000002614795,0.4875111],"study_design_scores_gemma":[0.0002210688,0.00007135157,0.00004769374,0.0001444038,0.00000746692,0.0001614065,1.437788e-7,0.9549321,0.00005075339,0.04331666,0.0005153928,0.0005315585],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003862662,0.0007786232,0.9957204,0.0004763714,0.001295589,0.0005429191,0.000001947375,0.0001818314,0.0006160567],"genre_scores_gemma":[0.3123045,0.0000699038,0.684731,0.001995091,0.0006310897,0.000008720143,0.000004333409,0.00005933796,0.0001960562],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4869796,"threshold_uncertainty_score":0.9997262,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0415761618633576,"score_gpt":0.2760627259742651,"score_spread":0.2344865641109075,"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."}}