activity
20232026
most citedEvolving Domain Adaptation of Pretrained Language Models for Text Classification

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.CL2026

LLMs Are Not Good Strategists, Yet Memory-Enhanced Agency Boosts Reasoning

Yi Wu, Zhimin Hu

Strategic reasoning in Large Language Models (LLMs) within long-horizon environments is often limited by inconsistent subgoals. In these settings, finite attention resources preven…

cs.PL2026

ExVerus: Verus Proof Repair via Counterexample Reasoning

Jun Yang, Yuechun Sun, Yi Wu +5

Large Language Models (LLMs) have shown promising results in automating formal verification. However, existing approaches treat proof generation as a static, end-to-end prediction…