7 citations · 13 across the 15 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025★ 1 cited
Monadic Context Engineering
Yifan Zhang, Yang Yuan, Mengdi Wang +1
The proliferation of Large Language Models (LLMs) has catalyzed a shift towards autonomous agents capable of complex reasoning and tool use. However, current agent architectures ar…
cs.AI2025
Clarifying Before Reasoning: A Coq Prover with Structural Context
Yanzhen Lu, Hanbin Yang, Xiaodie Wang +6
In this work, we investigate whether improving task clarity can enhance reasoning ability of large language models, focusing on theorem proving in Coq. We introduce a concept-level…
cs.AI2023★ 7 cited
Meta Prompting for AI Systems
Yifan Zhang, Yang Yuan, Andrew Chi-Chih Yao
We introduce Meta Prompting (MP), a framework that emphasizes the formal structure of a task rather than content-specific worked examples. We give a categorical formalization in wh…