Jialun Cao
4 papers
· 2025–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Cross-Pollinator
(12)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(14)
Conferences
AAAI (2)
ACL (2)
Top co-authors
Keywords
large language model
(3)
theorem proving
(1)
code generation
(1)
explainable ai
(1)
instruction tuning
(1)
formal verification
(1)
multimodal large language model
(1)
formal specification
(1)
formal proof
(1)
code execution
(1)
multilingual benchmark
(1)
natural language requirement
(1)
code reasoning
(1)
cross-language generalization
(1)
domain-specific code
(1)
domain-specific coding
(1)
multi-domain benchmark
(1)
benchmark evaluation
(1)
image content moderation
(1)