Chunrong Fang
4 papers · 2023–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(16)
Top co-authors
Research topics
Machine Learning
(4)
Artificial Intelligence
(3)
Deep Learning
(3)
Core AI
(3)
Optimization & Theory · Machine Learning
(3)
Architectures
(2)
Core Methods
(2)
Optimization & Theory · Deep Learning
(2)
Computer Science
(1)
Natural Language Processing
(1)
Application Areas
(1)
Applications
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
Resources & Methods
(1)
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
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
CVPR 2025
Token-Budget-Aware LLM Reasoning
ACL 2025
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation
CVPR 2024
Backdooring Neural Code Search
ACL 2023