3 papers
physics.comp-ph2026
Co-Authoring with AI: How I Wrote a Physics Paper About AI, Using AI
Yi Zhou
The rapid integration of Large Language Models (LLMs) into scientific writing fundamentally challenges traditional definitions of authorship, responsibility, and scientific integri…
cs.SE2026
Adaptive Confidence Gating in Multi-Agent Collaboration for Efficient and Optimized Code Generation
Haoji Zhang, Yuzhe Li, Zhenqiang Liu +3
While Large Language Models (LLMs) have catalyzed breakthroughs in automated code generation, Small Language Models (SLMs) often encounter reasoning bottlenecks and failure loops w…
cs.CL2025
KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
Jiyao Zhang, Chengli Zhong, Hui Xu +2
Modern large language models (LLMs) show promising progress in formalizing informal mathematics into machine-verifiable theorems. However, these methods still face bottlenecks due…