2 papers
cs.DS2023
Online Combinatorial Linear Optimization via a Frank-Wolfe-based Metarounding Algorithm
Ryotaro Mitsuboshi, Kohei Hatano, Eiji Takimoto
Metarounding is an approach to convert an approximation algorithm for linear optimization over some combinatorial classes to an online linear optimization algorithm for the same cl…
cs.LG2023
Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks
Yiping Tang, Kohei Hatano, Eiji Takimoto
Understanding the characteristics of neural networks is important but difficult due to their complex structures and behaviors. Some previous work proposes to transform neural netwo…