Ruida WANG
7 papers
· 2023–2026
· 4 conferences
· across top CS/AI conferences
Achievements
π
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)