conftrace_

post-training optimization

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

scalability challenges (1) verification-friendly neural networks (1) elastic structure (1) flextron (1) nested network (1) prediction performance (1) sample-efficient training (1) robustness guarantee (1) routing algorithm (1) formal verification (1)

Papers

Flextron: Many-in-One Flexible Large Language Model ICML 2024 VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees ICML 2024