Jialun Cao
4 papers · 2025–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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)
Papers
ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
AAAI 2025
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
AAAI 2025
CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution
ACL 2025
From Informal to Formal β Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
ACL 2025