Jialun Cao
4 papers · 2025–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 ยท Silver
๐บ๏ธ
Taxonomy Completionist
(13)
Top co-authors
Research topics
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)
Papers
CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution
ACL 2025
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
AAAI 2025
From Informal to Formal โ Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
ACL 2025
ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
AAAI 2025