← Search

Jiarui Yao

10 accepted papers

2026

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

ICLR 2026poster

Solving math problems through verifiable languages such as Lean has significantly impacted both the mathematics and computer science communities. Current state-of-the-art models are often trained with expensive online Reinforcement Learning (RL) or expert iteration. However, these approaches rely on…

Cited by 0SourcecodeScholar
2025

EscapeBench: Towards Advancing Creative Intelligence of Language Model Agents

ACL 2025long

Language model agents excel in long-session planning and reasoning, but existing benchmarks primarily focus on goal-oriented tasks with explicit objectives, neglecting creative adaptation in unfamiliar environments. To address this, we introduce EscapeBench—a benchmark suite of room escape game envi…

2025

FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4

EMNLP 2025

Large Language Models (LLMs) have displayed astonishing abilities in various tasks, especially in text generation, classification, question answering, etc. However, the reasoning ability of LLMs still faces many debates, especially in math reasoning. The inherent ambiguity of Natural Language (NL) l

2025

MiCRo: Mixture Modeling and Context-aware Routing for Personalized Preference Learning

EMNLP 2025

Reward modeling is a key step in building safe foundation models when applying reinforcement learning from human feedback (RLHF) to align Large Language Models (LLMs). However, reward modeling based on the Bradley-Terry (BT) model assumes a global reward function, failing to capture the inherently d

2025

Optimizing Chain-of-Thought Reasoners via Gradient Variance Minimization in Rejection Sampling and RL

NeurIPS 2025poster

Chain-of-thought (CoT) reasoning in large language models (LLMs) can be formalized as a latent variable problem, where the model needs to generate intermediate reasoning steps. While prior approaches such as iterative reward-ranked fine-tuning (RAFT) have relied on such formulations, they typically…

Cited by 0SourcecodeScholar
2025

Rethinking Diverse Human Preference Learning through Principal Component Analysis

ACL 2025finding

Understanding human preferences is crucial for improving foundation models and building personalized AI systems. However, preferences are inherently diverse and complex, making it difficult for traditional reward models to capture their full range. While fine-grained preference data can help, collec…

2024

Shadowcast: Stealthy Data Poisoning Attacks Against Vision-Language Models

NeurIPS 2024poster

Vision-Language Models (VLMs) excel in generating textual responses from visual inputs, but their versatility raises security concerns. This study takes the first step in exposing VLMs’ susceptibility to data poisoning attacks that can manipulate responses to innocuous, everyday prompts. We introduc…

2021

Factuality Assessment as Modal Dependency Parsing

ACL 2021long

As the sources of information that we consume everyday rapidly diversify, it is becoming increasingly important to develop NLP tools that help to evaluate the credibility of the information we receive. A critical step towards this goal is to determine the factuality of events in text. In this paper,…