7 citations · 13 across the 15 of their papers we have counts for
Showing 2025 · cs.AIShow all
2 papers · 2 filters
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…