Publisher
Springer International Publishing
Reference37 articles.
1. Anderson, R., Huchette, J., Ma, W., Tjandraatmadja, C., Vielma, J.P.: Strong mixed-integer programming formulations for trained neural networks. Math. Program. 183(1), 3–39 (2020)
2. Botoeva, E., Kouvaros, P., Kronqvist, J., Lomuscio, A., Misener, R.: Efficient verification of Relu-based neural networks via dependency analysis. In: Proceedings of the Conference on AAAI Artificial Intelligent, vol. 34, pp. 3291–3299 (2020)
3. Ceccon, F.: OMLT: optimization & machine learning toolkit. J. Mach. Learn. Res. 23(349), 1–8 (2022)
4. Chandrashekar, G., Sahin, F.: A survey on feature selection methods. Comput. Electr. Eng. 40(1), 16–28 (2014)
5. De Palma, A., Behl, H.S., Bunel, R., Torr, P.H., Kumar, M.P.: Scaling the convex barrier with sparse dual algorithms (2021). arXiv:2101.05844
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献