activity
20242026
most citedGoedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing cs.HCShow all

1 paper · 1 filter

cs.HC2025★ 1 cited

Adaptive Human-Agent Teaming: A Review of Empirical Studies from the Process Dynamics Perspective

Mengyao Wang, Jiayun Wu, Shuai Ma +4

The rapid advancement of AI, including Large Language Models, has propelled autonomous agents forward, accelerating the human-agent teaming (HAT) paradigm to leverage complementary…