Ren Ma

2

Papers

376

Total Citations

Papers (2)

OpenHands: An Open Platform for AI Software Developers as Generalist Agents

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation