Qin Liu

State Key Laboratory of Novel Software Technology, Nanjing University

Papers on Lattice

Total citations

Topics

h-index

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Tool Use & Agents (1)

Papers (1)

Apr 13, 2026

$\lambda_A$: A Typed Lambda Calculus for LLM Agent Composition

A staggering 94% of real-world LLM agent configurations are structurally incomplete, revealing a deep semantic chasm between declarative configuration and imperative code.

Qin Liu

Code Generation & Program Synthesis Natural Language Processing Tool Use & Agents

Qin Liu

Research focus

Papers (1)

Search

Qin Liu

Research focus

Papers (1)