Copertina

mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ataei, Mohammadmehdi, Cheong, Hyunmin, Butscher, Adrian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Deep Generative Model for Mechanical System Configuration Design
di: Etesam, Yasaman, et al.
Pubblicazione: (2024)

e-SimFT: Alignment of Generative Models with Simulation Feedback for Pareto-Front Design Exploration
di: Cheong, Hyunmin, et al.
Pubblicazione: (2025)

Physics-based simulation ontology: an ontology to support modelling and reuse of data for physics-based simulation
di: Cheong, Hyunmin, et al.
Pubblicazione: (2025)

XLB: A differentiable massively parallel lattice Boltzmann library in Python
di: Ataei, Mohammadmehdi, et al.
Pubblicazione: (2023)

MechaFormer: Sequence Learning for Kinematic Mechanism Design Automation
di: Bolanos, Diana, et al.
Pubblicazione: (2025)

Configuration Design of Mechanical Assemblies using an Estimation of Distribution Algorithm and Constraint Programming
di: Cheong, Hyunmin, et al.
Pubblicazione: (2025)

A low order, torsion deformable spatial beam element based on the absolute nodal coordinate formulation and Bishop frame
di: Ebrahimi, Mehran, et al.
Pubblicazione: (2024)

HardNet++: Nonlinear Constraint Enforcement in Neural Networks
di: Goertzen, Andrea, et al.
Pubblicazione: (2026)

RECALL-MM: A Multimodal Dataset of Consumer Product Recalls for Risk Analysis using Computational Methods and Large Language Models
di: Bolanos, Diana, et al.
Pubblicazione: (2025)

Design optimization of dynamic flexible multibody systems using the discrete adjoint variable method
di: Ebrahimi, Mehran, et al.
Pubblicazione: (2024)

Reduced-order modeling of unsteady fluid flow using neural network ensembles
di: Halder, Rakesh, et al.
Pubblicazione: (2024)

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
di: Marzari, Luca, et al.
Pubblicazione: (2023)

Efficient and Interpretable Neural Networks Using Complex Lehmer Transform
di: Ataei, Masoud, et al.
Pubblicazione: (2025)

Transformer-Based Interfaces for Mechanical Assembly Design: A Gear Train Case Study
di: Ataei, Mohammadmehdi, et al.
Pubblicazione: (2025)

Elicitron: An LLM Agent-Based Simulation Framework for Design Requirements Elicitation
di: Ataei, Mohammadmehdi, et al.
Pubblicazione: (2024)

Physics Context Builders: A Modular Framework for Physical Reasoning in Vision-Language Models
di: Balazadeh, Vahid, et al.
Pubblicazione: (2024)

Physics-informed Reduced Order Modeling of Time-dependent PDEs via Differentiable Solvers
di: Dashtbayaz, Nima Hosseini, et al.
Pubblicazione: (2025)

Optimal Design of Vehicle Dynamics Using Gradient-Based, Mixed-Fidelity Multidisciplinary Optimization
di: Cheong, Hyunmin, et al.
Pubblicazione: (2024)

AffineLens: Capturing the Continuous Piecewise Affine Functions of Neural Networks
di: Wei, Yi, et al.
Pubblicazione: (2026)

Regularized Gradient Clipping Provably Trains Wide and Deep Neural Networks
di: Tucat, Matteo, et al.
Pubblicazione: (2024)

Provable Affine Identifiability of Nonlinear CCA under Latent Distributional Priors
di: Han, Zhiwei, et al.
Pubblicazione: (2025)

Provable Fairness Repair for Deep Neural Networks
di: Ma, Jianan, et al.
Pubblicazione: (2026)

Region Seeding via Pre-Activation Regularization: A Geometric View of Piecewise Affine Neural Networks
di: Wei, Yi, et al.
Pubblicazione: (2026)

Provable Generalization Bounds for Deep Neural Networks with Momentum-Adaptive Gradient Dropout
di: Safder, Adeel
Pubblicazione: (2025)

Provable Accelerated Convergence of Nesterov's Momentum for Deep ReLU Neural Networks
di: Liao, Fangshuo, et al.
Pubblicazione: (2023)

Provable Multi-Task Representation Learning by Two-Layer ReLU Neural Networks
di: Collins, Liam, et al.
Pubblicazione: (2023)

Modeling Regime Structure and Informational Drivers of Stock Market Volatility via the Financial Chaos Index
di: Ataei, Masoud
Pubblicazione: (2025)

Exact Enforcement of Temporal Continuity in Sequential Physics-Informed Neural Networks
di: Roy, Pratanu, et al.
Pubblicazione: (2024)

Exact Fixed-Point Constraints in Neural-ODEs with Provable Universality
di: Pacifico, Feliciano Giuseppe, et al.
Pubblicazione: (2026)

IGAff: Benchmarking Adversarial Iterative and Genetic Affine Algorithms on Deep Neural Networks
di: Echim, Sebastian-Vasile, et al.
Pubblicazione: (2025)

From Alexnet to Transformers: Measuring the Non-linearity of Deep Neural Networks with Affine Optimal Transport
di: Bouniot, Quentin, et al.
Pubblicazione: (2023)

Provably Bounding Neural Network Preimages
di: Kotha, Suhas, et al.
Pubblicazione: (2023)

Weak Relation Enforcement for Kinematic-Informed Long-Term Stock Prediction with Artificial Neural Networks
di: Selitskiy, Stanislav
Pubblicazione: (2025)

Max-Affine Spline Insights Into Deep Network Pruning
di: You, Haoran, et al.
Pubblicazione: (2021)

Affine Invariance in Continuous-Domain Convolutional Neural Networks
di: Mohaddes, Ali, et al.
Pubblicazione: (2023)

Provable Privacy Attacks on Trained Shallow Neural Networks
di: Smorodinsky, Guy, et al.
Pubblicazione: (2024)

Provably Powerful Graph Neural Networks for Directed Multigraphs
di: Egressy, Béni, et al.
Pubblicazione: (2023)

Block Coordinate Descent for Neural Networks Provably Finds Global Minima
di: Akiyama, Shunta
Pubblicazione: (2025)

Provable Guarantees for Nonlinear Feature Learning in Three-Layer Neural Networks
di: Nichani, Eshaan, et al.
Pubblicazione: (2023)

Provably Communication-Efficient and Privacy-Preserving Federated Graph Neural Networks
di: Guo, Zhishuai, et al.
Pubblicazione: (2026)