conftrace_

linear approximation

19 papers

Explore in graph

Co-occurring keywords

robustness verification (31) convolutional neural network (4226) neural network (6616) maxpool function (2) value function approximation (100) formal verification (284) function approximation (319) adversarial robustness (1341) reinforcement learning (4352) transformer architecture (1560)

Papers

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone CVPR 2025
Linear Decoding of Morphology Relations in Language Models (Student Abstract) AAAI 2025
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation CVPR 2024
MetaLA: Unified Optimal Linear Approximation to Softmax Attention Map NIPS 2024
Your Transformer is Secretly Linear ACL 2024
Future Lens: Anticipating Subsequent Tokens from a Single Hidden State CONLL 2023
Is this the Right Neighborhood? Accurate and Query Efficient Model Agnostic Explanations NIPS 2022
Libra-CAM: An Activation-Based Attribution Based on the Linear Approximation of Deep Neural Nets and Threshold Calibration IJCAI 2022
What can linearized neural networks actually say about generalization? NIPS 2021
Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation AAAI 2021
Mixed-Privacy Forgetting in Deep Networks CVPR 2021
A Swiss Army Infinitesimal Jackknife AISTATS 2019
Characterizing Departures from Linearity in Word Translation ACL 2018
Flexible Orthogonal Neighborhood Preserving Embedding IJCAI 2017
Blind Image Deblurring Using Dark Channel Prior CVPR 2016
Off-policy Learning With Eligibility Traces: A Survey JMLR 2014
Sparse Multi-Task Reinforcement Learning NIPS 2014
Sketch-Based Linear Value Function Approximation NIPS 2012
Convergent Fitted Value Iteration with Linear Function Approximation NIPS 2011