Xiaoman Wang
4 papers · 2025–2026 · 3 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
Venues
Top co-authors
Research topics
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