Ge Yu

Automated Formalization via Conceptual Retrieval-Augmented LLMs

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification

Query Routing over Multimodal Knowledge Bases for Retrieval-Augmented Reasoning

LBMKGC: Large Model-Driven Balanced Multimodal Knowledge Graph Completion

ParamMute: Suppressing Knowledge-Critical FFNs for Faithful Retrieval-Augmented Generation

RAG-DDR: Optimizing Retrieval-Augmented Generation Using Differentiable Data Rewards