α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Ren Ma
Ren Ma
2
papers
412
total citations
papers (2)
OpenHands: An Open Platform for AI Software Developers as Generalist Agents
ICLR 2025
arXiv
387
citations
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
ICLR 2025
arXiv
25
citations