Ruida WANG
7 papers · 2023–2026 · 4 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
🗺️
Taxonomy Completionist
(17)
🐣
Hot Topic Early Bird
Top co-authors
Research topics
Artificial Intelligence
(4)
Machine Learning
(4)
Core AI
(4)
Natural Language Processing
(3)
Learning Types · Machine Learning
(3)
Deep Learning
(2)
Applications
(2)
Learning Paradigms
(2)
Resources & Methods
(2)
Reinforcement Learning
(1)
Application Areas
(1)
Generation
(1)
Learning Types · Deep Learning
(1)
Methods
(1)
Models
(1)
Keywords
large language model
(4)
mathematical reasoning
(3)
formal theorem proving
(2)
formal verification
(2)
theorem proving
(2)
knowledge distillation
(1)
data augmentation
(1)
answer extraction
(1)
iterative refinement
(1)
distribution shift
(1)
data synthesis
(1)
model collaboration
(1)
iterative training
(1)
answer selection
(1)
proof generation
(1)
formal reasoning
(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
DragVideo: Interactive Drag-style Video Editing
ECCV 2024
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
EMNLP 2024
Let’s Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models
EMNLP 2023