Chunrong Fang
4 papers · 2023–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (16) π Renaissance Researcher (5) π Interdisciplinary Bridge π Conference Polyglot (2) π Cross-Pollinator (15)
π§
Keyword Pioneer
π
Keyword Champion
(2)
Conferences
ACL (2)
CVPR (2)
Top co-authors
Keywords
maxpool function
(2)
formal verification
(2)
linear approximation
(2)
robustness verification
(2)
deep learning
(1)
token efficiency
(1)
code retrieval
(1)
backdoor attack
(1)
convolutional neural network
(1)
robustness certification
(1)
neural network verification
(1)
neural network robustness
(1)
trigger generation
(1)
prompt compression
(1)
neural network classifier
(1)
trigger injection
(1)
neural network
(1)
certified accuracy
(1)
dynamic token allocation
(1)
neural code search
(1)
Papers
Token-Budget-Aware LLM Reasoning
ACL 2025
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
CVPR 2025
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation
CVPR 2024
Backdooring Neural Code Search
ACL 2023