1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2026
On the Decompositionality of Neural Networks
Junyong Lee, Baek-Ryun Seong, Sang-Ki Ko +5
Recent advances in deep neural networks have achieved state-of-the-art performance across vision and natural language processing tasks. In practice, however, most models are treate…
cs.LG2024
MPruner: Optimizing Neural Network Size with CKA-Based Mutual Information Pruning
Seungbeom Hu, ChanJun Park, Andrew Ferraiuolo +4
Determining the optimal size of a neural network is critical, as it directly impacts runtime performance and memory usage. Pruning is a well-established model compression technique…
cs.AI2024★ 1 cited
Towards Efficient Formal Verification of Spiking Neural Network
Baekryun Seong, Jieung Kim, Sang-Ki Ko
Recently, AI research has primarily focused on large language models (LLMs), and increasing accuracy often involves scaling up and consuming more power. The power consumption of AI…