Papers

• P³: Joint Program-and-Proof Planning for Verified Code Generation (2026)
  Zenan Li et al.
  4.81
• SuperCoder: Assembly Program Superoptimization with Large Language Models (2025)
  Anjiang Wei et al.
  2.42
• From Evaluated Models to Evaluation Aids: A Multi-Evidence Study of LLM-Based Difficulty Calibration for Programming Examinations (2026)
  Hongfei Yan et al.
  2.00
• Instruction Set and Language for Hypergraphs (2026)
  Mario Pascual-Gonzalez et al.
  1.94
• Exact Network Surgery: Functional Invariance and Gradient Plasticity in Reactive Computational Graphs (2026)
  Abdallah Khemais (ISITCOM et al.
  1.94
• Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis (2025)
  Anjiang Wei et al.
  1.39
• SequenceLayers: Sequence Processing and Streaming Neural Networks Made Easy (2025)
  RJ Skerry-Ryan et al.
  1.28
• Deep R Programming (2023)
  Marek Gagolewski
  —
• IR Design for Application-Specific Natural Language: A Case Study on Traffic Data (2023)
  Wei Hu et al.
  —
• Xpert: Empowering Incident Management with Query Recommendations via Large Language Models (2023)
  Yuxuan Jiang et al.
  —
• Real-Time Performance Optimization of Travel Reservation Systems Using AI and Microservices (2024)
  Biman Barua and M. Shamim Kaiser
  —