From the 1 of 4 linked papers with an AI index.
4 papers
From Paper to Program: Knowledge Externalization and Bottleneck Diagnosis in AI-Assisted Quantum Many-Body Programming
Yi Zhou
The paper studies how large language models can be guided to translate quantum many‑body research papers into working code by explicitly externalizing tacit knowledge such as gauge…
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…
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…
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…