:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhang, Gehao, Zhai, Juan
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2605.03356
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Breaking the Myth: Can Small Models Infer Postconditions Too?
by: Zhang, Gehao, et al.
Published: (2025)

Beyond Code Generation: Assessing Code LLM Maturity with Postconditions
by: He, Fusen, et al.
Published: (2024)

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference
by: Le, Cuong Chi, et al.
Published: (2026)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
by: Endres, Madeline, et al.
Published: (2023)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
by: Richter, Cedric, et al.
Published: (2025)

REPOFUSE: Repository-Level Code Completion with Fused Dual Context
by: Liang, Ming, et al.
Published: (2024)

FlexFL: Flexible and Effective Fault Localization with Open-Source Large Language Models
by: Xu, Chuyang, et al.
Published: (2024)

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
by: Misu, Md Rakib Hossain, et al.
Published: (2026)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
by: Huang, Zhechong, et al.
Published: (2026)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
by: Yu, Hao, et al.
Published: (2025)

SWE-Cycle: Benchmarking Code Agents across the Complete Issue Resolution Cycle
by: Guan, Hao, et al.
Published: (2026)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
by: Herbold, Steffen, et al.
Published: (2025)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
by: Tan, Max
Published: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
by: Zhang, Liao, et al.
Published: (2026)

Formal Methods Meets Readability: Auto-Documenting JML Java Code
by: Abad, Juan Carlos Recio, et al.
Published: (2025)

TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark
by: Jain, Kush, et al.
Published: (2024)

An Agile Formal Specification Language Design Based on K Framework
by: Zhang, Jianyu, et al.
Published: (2024)

CITADEL: Context Similarity Based Deep Learning Framework Bug Finding
by: Zhang, Xiaoyu, et al.
Published: (2024)

Does Your Neural Code Completion Model Use My Code? A Membership Inference Approach
by: Wan, Yao, et al.
Published: (2024)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
by: Lanzinger, Florian, et al.
Published: (2024)

When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
by: Sun, Zhensu, et al.
Published: (2024)

Effective Code Membership Inference for Code Completion Models via Adversarial Prompts
by: Jiang, Yuan, et al.
Published: (2025)

Software Engineering as a Domain to Formalize
by: Meyer, Bertrand
Published: (2025)

Formal Synthesis of Uncertainty Reduction Controllers
by: Carwehl, Marc, et al.
Published: (2024)

A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair
by: Zhang, Quanjun, et al.
Published: (2023)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)

Towards a DSL to Formalize Multimodal Requirements
by: Gomez-Vazquez, Marcos, et al.
Published: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

Towards Bridging Formal Methods and Human Interpretability
by: Paul, Abhijit, et al.
Published: (2025)

Formalizing Operational Design Domains with the Pkl Language
by: Skoglund, Martin, et al.
Published: (2025)

DI-BENCH: Benchmarking Large Language Models on Dependency Inference with Testable Repositories at Scale
by: Zhang, Linghao, et al.
Published: (2025)

Benchmarking Correctness and Security in Multi-Turn Code Generation
by: Rawal, Ruchit, et al.
Published: (2025)

Completion by Comprehension: Guiding Code Generation with Multi-Granularity Understanding
by: Zhao, Xinkui, et al.
Published: (2025)

A Lightweight Framework for Adaptive Retrieval In Code Completion With Critique Model
by: Zhang, Wenrui, et al.
Published: (2024)

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
by: Lu, Xu, et al.
Published: (2025)

DREAM: Debugging and Repairing AutoML Pipelines
by: Zhang, Xiaoyu, et al.
Published: (2023)

RLCoder: Reinforcement Learning for Repository-Level Code Completion
by: Wang, Yanlin, et al.
Published: (2024)

Prompt-based Code Completion via Multi-Retrieval Augmented Generation
by: Tan, Hanzhuo, et al.
Published: (2024)

Can Large Language Models Model Programs Formally?
by: Chen, Zhiyong, et al.
Published: (2026)