Ren Ma
3 papers · 2025–2025 · 2 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
👥
Mega-Team · Squad
Top co-authors
Research topics
Keywords
benchmark evaluation
(1)
symbolic reasoning
(1)
logical reasoning
(1)
code generation
(1)
first-order logic
(1)
software engineering
(1)
language model
(1)
data selection
(1)
agent system
(1)
quality assessment
(1)
dataset generation
(1)
multi-dimensional evaluation
(1)
web browsing
(1)
large language model
(1)