Xiaoman Wang
4 papers · 2025–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(3)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
COLING (1)
NAACL (1)
Top co-authors
Keywords
automated planning
(1)
data augmentation
(1)
grammatical error correction
(1)
prompt engineering
(1)
text generation
(1)
formal verification
(1)
semantic network
(1)
knowledge graph
(1)
retrieval-augmented generation
(1)
open-source toolkit
(1)
situation calculus
(1)
graph traversal
(1)
semantic aggregation
(1)
hierarchical retrieval
(1)
refinement mapping
(1)
golog program
(1)
sound complete abstraction
(1)
syntactic approach
(1)
Papers
LeanRAG: Knowledge-Graph-Based Generation with Semantic Aggregation and Hierarchical Retrieval
AAAI 2026
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
AAAI 2025
UnifiedGEC: Integrating Grammatical Error Correction Approaches for Multi-languages with a Unified Framework
COLING 2025
VisCGEC: Benchmarking the Visual Chinese Grammatical Error Correction
NAACL 2025