Jianye HAO

ViMo: A Generative Visual GUI World Model for App Agents

Squeeze the Soaked Sponge: Efficient Off-policy RFT for Large Language Model

From Seeing to Doing: Bridging Reasoning and Decision for Robotic Manipulation

Embodied-R1: Reinforced Embodied Reasoning for General Robotic Manipulation

One Demo Is All It Takes: Planning Domain Derivation with LLMs from A Single Demonstration

$Re^{2}$: Unlocking LLM Reasoning via Reinforcement Learning with Re-solving

A Hierarchical Circuit Symbolic Discovery Framework for Efficient Logic Optimization

Following the Navigation: Enhancing Small Language Models Contextual Reasoning with LLM Guidance

Evolving Graph Structured Programs for Circuit Generation with Large Language Models

UniUGG: Unified 3D Understanding and Generation via Geometric-Semantic Encoding

Boosting Multi-Domain Reasoning of LLMs via Curvature-Guided Policy Optimization

Latent-Guided Reasoning: Empowering Small LLMs with Large-Model Thinking

EmbodiedMAE: A Unified 3D Multi-Modal Representation for Robot Manipulation

The Rank and Gradient Lost in Non-stationarity: Sample Weight Decay for Mitigating Plasticity Loss in Reinforcement Learning

Preference Optimization via Key-step Error Exploration for Multi-step Reasoning in LLMs

EVLP: Learning Unified Embodied Vision-Language Planner with Reinforced Supervised Fine-Tuning

OmniEVA: Embodied Versatile Planner via Task-Adaptive 3D-Grounded and Embodiment-aware Reasoning

Scalable In-Context Q-Learning

OptiVer: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification

Learning A Linear Delay Surrogate Model for Timing-Driven Chip Global Placement

Don't Guess the Future, Find the Bottleneck: Spectral Subgoals for Offline Goal-Conditioned RL

CAPO: Conflict-Aware Policy Optimization for Large Language Models

K²-Agent: Co-Evolving Know-What and Know-How for Hierarchical Mobile Device Control

Hi-Agent: Hierarchical Vision-Language Agents for Mobile Device Control

CSO: Refining Robotic Policies via Skill Distribution Alignment and Skill-Grained Optimization

Plan2Evolve: LLM Self-Evolution for Improved Planning Capability via Automated Domain Generation

CellAgent: LLM-Driven Multi-Agent Framework for Natural Language-Based Single-Cell Analysis

Why Attention Patterns Exist: A Unifying Temporal Perspective Analysis

Omni-Thinker: Scaling Multi-Task RL in LLMs with Hybrid Reward and Task Scheduling

SteadyThought: Mitigating LLM Under-Thinking via Thought-Level Preference Optimization

Evolving LLMs' Self-Refinement Capability via Synergistic Training-Inference Optimization

BEYOND SYNTAX: ACTION SEMANTICS LEARNING FOR APP AGENTS

Probing Confidence Regions for Early Exits in Chain-of-Thought

Enhancing the Medical Context-Awareness Ability of LLMs via Multifaceted Self-Refinement Learning

Advancing Autonomous VLM Agents via Variational Subgoal-Conditioned Reinforcement Learning

LogicTree: Improving Complex Reasoning of LLMs via Instantiated Multi-step Synthetic Logical Data

Conditioning Matters: Training Diffusion Policies is Faster Than You Think

High-Performance Arithmetic Circuit Optimization via Differentiable Architecture Search

Lightweight Neural App Control

LaMPlace: Learning to Optimize Cross-Stage Metrics in Macro Placement

SPA-BENCH: A COMPREHENSIVE BENCHMARK FOR SMARTPHONE AGENT EVALUATION

Succeed or Learn Slowly: Sample Efficient Off-Policy Reinforcement Learning for Mobile App Control

Differentiable Integer Linear Programming

MODULI: Unlocking Preference Generalization via Diffusion Models for Offline Multi-Objective Reinforcement Learning

STAR: Learning Diverse Robot Skill Abstractions through Rotation-Augmented Vector Quantization

COLA: Towards Efficient Multi-Objective Reinforcement Learning with Conflict Objective Regularization in Latent Space

Dynamic Configuration for Cutting Plane Separators via Reinforcement Learning on Incremental Graph

Uncertainty-quantified Rollout Policy Adaptation for Unlabelled Cross-domain Video Temporal Grounding

Accurate KV Cache Eviction via Anchor Direction Projection for Efficient LLM Inference

DistRL: An Asynchronous Distributed Reinforcement Learning Framework for On-Device Control Agent

A Graph Enhanced Symbolic Discovery Framework For Efficient Logic Optimization

Computing Circuits Optimization via Model-Based Circuit Genetic Evolution

CORE: Collaborative Optimization with Reinforcement Learning and Evolutionary Algorithm for Floorplanning

LaRes: Evolutionary Reinforcement Learning with LLM-based Adaptive Reward Search

OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling

AttentionPredictor: Temporal Patterns Matter for KV Cache Compression

Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming

Accelerating Large Language Model Reasoning via Speculative Search

HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking

3D-AffordanceLLM: Harnessing Large Language Models for Open-Vocabulary Affordance Detection in 3D Worlds

R*: Efficient Reward Design via Reward Structure Evolution and Parameter Alignment Optimization with Large Language Models

Reinforced In-Context Black-Box Optimization

Trajectory World Models for Heterogeneous Environments

Boosting Multi-Domain Fine-Tuning of Large Language Models through Evolving Interactions between Samples

The Graph's Apprentice: Teaching an LLM Low-Level Knowledge for Circuit Quality Estimation

ET-Plan-Bench: Embodied Task-level Planning Benchmark Towards Spatial-Temporal Cognition with Foundation Models

SeaDAG: Semi-autoregressive Diffusion for Conditional Directed Acyclic Graph Generation

Can Symbolic Regression of Boolean Functions Boost Logic Synthesis?

Towards LLM4Floorplan: Agents Can Do What Engineers Do in Chip Design

Benchmarking End-To-End Performance of AI-Based Chip Placement Algorithms

A Theory of Multi-Agent Generative Flow Networks

Actra: Optimized Transformer Architecture for Vision-Language-Action Models in Robot Learning

Searching Strengthens Large Language Models in Finding Bugs of Deep Learning Libraries

LLM4Solver: Large Language Model for Efficient Algorithm Design of Combinatorial Optimization Solver