Code Generation’s New Horizon: Bridging Precision, Reliability, and Multimodality
Latest 50 papers on code generation: Dec. 13, 2025
Artificial Intelligence
Computation and Language
Software Engineering
Artificial Intelligence
Logic in Computer Science
Software Engineering
Formal Verification in the Age of AI: Bridging the Gap Between Code, Logic, and Real-World Safety
Latest 50 papers on formal verification: Dec. 13, 2025
Artificial Intelligence
Computation and Language
Software Engineering
Prompt Engineering Unveiled: Navigating the New Frontier of LLM Control and Performance
Latest 50 papers on prompt engineering: Dec. 7, 2025
Artificial Intelligence
Logic in Computer Science
Software Engineering
Formal Verification in the Age of AI: Ensuring Safety, Security, and Correctness
Latest 50 papers on formal verification: Dec. 7, 2025
Artificial Intelligence
Computation and Language
Software Engineering
Prompt Engineering Unveiled: Navigating the New Frontier of LLM Control and Automation
Latest 50 papers on prompt engineering: Nov. 30, 2025
Artificial Intelligence
Machine Learning
Software Engineering
CODE_GEN: Revolutionizing Code Generation with LLMs: From Secure Automation to Creative Collaboration
Latest 50 papers on code generation: Nov. 30, 2025
Artificial Intelligence
Logic in Computer Science
Software Engineering
Formal Verification in the Age of AI: Bridging Rigor and Reality
Latest 50 papers on formal verification: Nov. 30, 2025
Artificial Intelligence
Logic in Computer Science
Software Engineering
Formal Verification: The AI Agents’ New Frontier for Trustworthy Systems
Latest 50 papers on formal verification: Nov. 23, 2025
Artificial Intelligence
Computation and Language
Software Engineering
CODEGEN RENAISSANCE: Multi-Agent Systems, Pragmatic Reasoning, and the Pursuit of Production-Ready AI Code
Latest 50 papers on code generation: Nov. 10, 2025
Artificial Intelligence
Logic in Computer Science
Software Engineering
Formal Verification Meets the Age of Agents: Rigorous AI, Secure Code, and Next-Gen Proofs
Latest 50 papers on formal verification: Nov. 10, 2025