2 papers
cs.HC2026
PACEE: Parent-Centered AI Scaffolding for Emotion Education in Early Childhood Conversations
Yu Mei, Xutong Wang, Ziyao Zhang +8
Emotion education is critical for children aged 3 to 6. However, existing technologies largely focus on children's direct interaction with AI, overlooking the central role of paren…
cs.LO2026
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Rongge Xu, Hui Dai, Yiming Fu +5
While large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, current benchmarks fail to adequately measure library-grounded abstraction -…