← Search

Ren Ma

4 accepted papers

2025

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation

ICLR 2025poster

First-order logic (FOL) reasoning, which involves sequential deduction, is pivotal for intelligent systems and serves as a valuable task for evaluating reasoning capabilities, particularly in chain-of-thought (CoT) contexts. Existing benchmarks often rely on extensive human annotation or handcrafted…

2025

Meta-rater: A Multi-dimensional Data Selection Method for Pre-training Language Models

ACL 2025long

The composition of pre-training datasets for large language models (LLMs) remains largely undisclosed, hindering transparency and efforts to optimize data quality—a critical driver of model performance. Current data selection methods, such as natural language quality assessments, diversity-based fil…

2025

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

ICLR 2025poster

Software is one of the most powerful tools that we humans have at our disposal; it allows a skilled programmer to interact with the world in complex and profound ways. At the same time, thanks to improvements in large language models (LLMs), there has also been a rapid development in AI agents that…

Cited by 32SourcePDFScholar