Showing 1–12 of 12 results
/ Date/ Name
May 4, 2020Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer ArchitectureMar 8, 2026Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic ProblemsDec 31, 2024Scalable Neural Network Verification with Branch-and-bound Inferred Cutting PlanesFeb 2, 2023Provably Bounding Neural Network PreimagesJun 16, 2020Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness ProofsDec 28, 2023The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and ResultsJan 14, 2023First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)Dec 20, 2022The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and ResultsOct 9, 2018Towards Two-Dimensional Sequence to Sequence Model in Neural Machine TranslationNov 24, 2020Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling using a Two-Dimensional GridDec 28, 2024The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and ResultsDec 22, 2025The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results