AI & Coding Papers: November 16, 2025 - Daily ArXiv

by Alex Johnson 52 views

Stay up-to-date with the latest advancements in AI and coding with our daily digest of research papers from Daily ArXiv, curated by Luowaterbi. This compilation from November 16, 2025, covers a range of topics in code generation, program analysis, and related fields. For an enhanced reading experience and access to even more papers, be sure to check out the Github page.

Code: Cutting-Edge Research in Code Generation and Analysis

Title Date Comment
Say More with Less: Variable-Frame-Rate Speech Tokenization via Adaptive Clustering and Implicit Duration Coding 2025-11-13
Accepted to AAAI 2026...

Accepted to AAAI 2026. Project page: https://zhengrachel.github.io/VARSTok

A Style is Worth One Code: Unlocking Code-to-Style Image Generation with Discrete Style Space 2025-11-13
16 pages...

16 pages, 13 figures, 5 tables

Does AI-Assisted Coding Deliver? A Difference-in-Differences Study of Cursor's Impact on Software Projects 2025-11-13
DOTA-ME-CS: Daily Oriented Text Audio-Mandarin English-Code Switching Dataset 2025-11-13
Coxeter codes: Extending the Reed-Muller family 2025-11-13
v1: Extended abstract...

v1: Extended abstract, v2: full paper, v3 has added new material on quantum Coxeter code and a remark on decoding Coxeter codes. This version is the final form of the paper, published in Designs, Codes and Cryptography

A Large-Scale Collection Of (Non-)Actionable Static Code Analysis Reports 2025-11-13
Under publication...

Under publication to Nature Scientific Data journal

The Impact of Large Language Models (LLMs) on Code Review Process 2025-11-13
Quality Assurance of LLM-generated Code: Addressing Non-Functional Quality Characteristics 2025-11-13
Reconfigurable Intelligent Surface-Assisted Multiple-Antenna Coded Caching 2025-11-13
Submitted to IEEE Trans...

Submitted to IEEE Trans. Information Theory, 40 pages

Generalized Spectral Bound for Quasi-Twisted Codes 2025-11-13
EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines 2025-11-13
Taught by the Flawed: How Dataset Insecurity Breeds Vulnerable AI Code 2025-11-13
Rethinking the Evaluation of Secure Code Generation 2025-11-12
Accepted by ICSE 2026

Accepted by ICSE 2026

Evaluating Software Process Models for Multi-Agent Class-Level Code Generation 2025-11-12
Function-Correcting Codes for Locally Bounded Functions 2025-11-12
This version corrects Lemma 1...

This version corrects Lemma 1 by adding a missing condition required for its validity. With this additional condition, all subsequent results and conclusions in the paper remain valid

This section highlights research focused on code, covering various aspects such as code generation, security, and analysis. One notable paper, "Say More with Less: Variable-Frame-Rate Speech Tokenization via Adaptive Clustering and Implicit Duration Coding," accepted to AAAI 2026, explores innovative techniques in speech tokenization. Another interesting study, "Does AI-Assisted Coding Deliver? A Difference-in-Differences Study of Cursor's Impact on Software Projects," delves into the practical implications of AI-assisted coding tools on software development. Furthermore, the paper "A Style is Worth One Code: Unlocking Code-to-Style Image Generation with Discrete Style Space" presents a novel approach to image generation using code-to-style transformations, showcasing the potential of AI in creative applications. Several papers address the crucial topic of code security, including "Taught by the Flawed: How Dataset Insecurity Breeds Vulnerable AI Code" and "Rethinking the Evaluation of Secure Code Generation," emphasizing the importance of robust security measures in AI-driven code development. These papers collectively demonstrate the breadth and depth of current research in code-related AI, from improving speech recognition to enhancing code security and generation techniques. The exploration of Large Language Models (LLMs) in code review processes and quality assurance further highlights the growing influence of AI in software development workflows, paving the way for more efficient and reliable coding practices.

Program: Advancements in Programming Paradigms and Techniques

Title Date Comment
Querying Labeled Time Series Data with Scenario Programs 2025-11-13
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs 2025-11-13
Owlgorithm: Supporting Self-Regulated Learning in Competitive Programming through LLM-Driven Reflection 2025-11-13
7 pages...

7 pages, 1 figure, to be published in SIGCSE '26

SPADA: A Spatial Dataflow Architecture Programming Language 2025-11-12
Several Supporting Evidences for the Adaptive Feature Program 2025-11-12
Transformer Semantic Genetic Programming for d-dimensional Symbolic Regression Problems 2025-11-12
ExDBN: Learning Dynamic Bayesian Networks using Extended Mixed-Integer Programming Formulations 2025-11-12
Code available...

Code available at: https://github.com/pavelrt/ExDBN

When AI Takes the Wheel: Security Analysis of Framework-Constrained Program Generation 2025-11-12
Attack-Centric by Design: A Program-Structure Taxonomy of Smart Contract Vulnerabilities 2025-11-12
42 pages...

42 pages, 1 figure, 8 root-cause families

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs 2025-11-11
Accepted at AAAI 2026

Accepted at AAAI 2026

Provably data-driven projection method for quadratic programming 2025-11-11
25 pages...

25 pages, accepted to AAAI 2026

Streaming Tensor Program: A streaming abstraction for dynamic parallelism 2025-11-11
Linear Programming Hierarchies Collapse under Symmetry 2025-11-11
Closing the Loop: An Instructor-in-the-Loop AI Assistance System for Supporting Student Help-Seeking in Programming Education 2025-11-10
Preprint...

Preprint of the SIGCSE'26 paper

Disciplined Biconvex Programming 2025-11-10

The program section presents a collection of papers focusing on various aspects of programming, ranging from new programming languages to AI-assisted education. One standout paper, "Owlgorithm: Supporting Self-Regulated Learning in Competitive Programming through LLM-Driven Reflection," explores how Large Language Models (LLMs) can be leveraged to enhance self-regulated learning in competitive programming environments. Another significant contribution, "SPADA: A Spatial Dataflow Architecture Programming Language," introduces a novel programming language designed for spatial dataflow architectures, potentially impacting how we process and analyze spatial data. In the realm of security, "Attack-Centric by Design: A Program-Structure Taxonomy of Smart Contract Vulnerabilities" provides a comprehensive taxonomy of smart contract vulnerabilities, offering valuable insights for developers aiming to build more secure decentralized applications. The paper "DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs," accepted at AAAI 2026, presents an efficient approach to proving in deep stochastic logic programs, showcasing advancements in automated reasoning. Additionally, "Closing the Loop: An Instructor-in-the-Loop AI Assistance System for Supporting Student Help-Seeking in Programming Education" highlights the potential of AI in transforming programming education by providing personalized assistance to students. This collection of papers underscores the dynamic nature of programming research, with innovations spanning from new languages and architectures to AI-driven educational tools and security analyses.

Key Themes and Trends

Analyzing the papers from November 16, 2025, several key themes and trends emerge in the AI and coding research landscape. Large Language Models (LLMs) continue to play a prominent role, with applications ranging from code review and generation to educational assistance and self-regulated learning. The focus on code security remains critical, as evidenced by papers addressing vulnerabilities in AI-generated code and smart contracts. Furthermore, there's a growing emphasis on specialized programming languages and architectures designed for specific domains, such as spatial dataflow. The increasing acceptance of papers at major conferences like AAAI and ICSE highlights the quality and impact of the research being conducted in these fields. The exploration of novel techniques in speech tokenization and image generation underscores the interdisciplinary nature of AI research, with coding playing a crucial role in advancing these areas. Overall, these papers demonstrate a vibrant and evolving research landscape, with significant contributions being made across various aspects of AI and programming. The trend towards AI-assisted tools and techniques is particularly notable, suggesting a future where AI plays an increasingly integral role in software development and education. Researchers are also focusing on making AI more secure and reliable, which is essential for widespread adoption. This curated list of papers provides a valuable snapshot of the cutting-edge research shaping the future of AI and coding.

Conclusion

The papers presented from Daily ArXiv on November 16, 2025, offer a compelling glimpse into the future of AI and coding. From advancements in speech tokenization and image generation to innovative programming paradigms and security analyses, these research efforts are pushing the boundaries of what's possible. The integration of Large Language Models (LLMs) across various applications highlights their transformative potential, while the focus on security underscores the importance of responsible AI development. Whether you're a researcher, developer, or simply an enthusiast, staying informed about these latest developments is crucial for navigating the rapidly evolving landscape of AI and coding. Be sure to explore the Github page for a more comprehensive reading experience and access to additional papers. To further your understanding of AI research and trends, consider visiting the arXiv website for a broader perspective on pre-prints and publications in the field.

Learn more about arXiv