Ruida WANG
7 papers · 2023–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌍 Conference Polyglot (3) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (17) 🧭 Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
Conferences
EMNLP (4)
EACL (1)
ECCV (1)
ICML (1)
Top co-authors
Keywords
large language model
(3)
mathematical reasoning
(3)
theorem proving
(2)
formal verification
(2)
curriculum learning
(1)
knowledge distillation
(1)
data augmentation
(1)
answer extraction
(1)
iterative refinement
(1)
distribution shift
(1)
data synthesis
(1)
iterative training
(1)
answer selection
(1)
proof generation
(1)
formal reasoning
(1)
formal theorem proving
(1)
dataset synthesis
(1)
natural formal hybrid reasoning
(1)
formal language reasoning
(1)
nl-fl alignment
(1)
Papers
GRAFF: GRaph-Augmented Fine-grained Fusion for Large Language Models
EACL 2026
FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4
EMNLP 2025
Let’s Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM’s Math Capability
EMNLP 2025
MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
ICML 2025
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
EMNLP 2024
DragVideo: Interactive Drag-style Video Editing
ECCV 2024
Let’s Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models
EMNLP 2023