Qinxiang Cao
4 papers · 2022–2025 · 4 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
(10)
🏆
Keyword Champion
(2)
Venues
Top co-authors
Research topics
Artificial Intelligence
(2)
Computer Science
(2)
Applications · Computer Science
(2)
Core AI
(2)
Deep Learning
(1)
Machine Learning
(1)
Natural Language Processing
(1)
Application Areas
(1)
Applications · Natural Language Processing
(1)
Architectures
(1)
Learning Paradigms
(1)
Learning Types
(1)
Optimization & Theory
(1)
Keywords
program verification
(2)
formal verification
(1)
multi-view learning
(1)
program representation
(1)
symbolic execution
(1)
extended berkeley packet filter
(1)
neuro-symbolic method
(1)
large language model
(1)
graph neural network
(1)
algorithm detection
(1)
code semantics
(1)
kernel security
(1)
data flow
(1)
multi-view graph
(1)
data flow analysis
(1)
control flow analysis
(1)
bytecode verification
(1)
annotation-guided verification
(1)
loop invariant generation
(1)
memory manipulation
(1)
Papers
Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach
ICLR 2025
VEP: A Two-stage Verification Toolchain for Full eBPF Programmability
NSDI 2025
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
NeurIPS 2024
Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection
AAAI 2022