Cover Image

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Le, Cuong Chi, Pham, Minh V. T, Duy, Tung Vu, Van, Cuong Duc, Phan, Huy N., Phan, Hoang N., Nguyen, Tien N.
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
by: Le, Cuong Chi, et al.
Published: (2025)

When Names Disappear: Revealing What LLMs Actually Understand About Code
by: Le, Cuong Chi, et al.
Published: (2025)

SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Resolving Real-World Bugs
by: Pham, Minh V. T., et al.
Published: (2025)

Semantic Evolution over Populations for LLM-Guided Automated Program Repair
by: Le, Cuong Chi, et al.
Published: (2026)

CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning
by: Le, Cuong Chi, et al.
Published: (2024)

New records of amphibians for Ha Nam Province, Vietnam
by: Pham, Anh, et al.
Published: (2025)

VisualCoder: Guiding Large Language Models in Code Execution with Fine-grained Multimodal Chain-of-Thought Reasoning
by: Le, Cuong Chi, et al.
Published: (2024)

Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals
by: Le-Anh, Minh, et al.
Published: (2026)

ReVEL: Multi-Turn Reflective LLM-Guided Heuristic Evolution via Structured Performance Feedback
by: Van Duc, Cuong, et al.
Published: (2026)

Optimize the parameters of the PID Controller using Genetic Algorithm for Robot Manipulators
by: Son, Vu Ngoc, et al.
Published: (2025)

Efficient Co‐Production Of 5‐Hydroxymethyl Furfural and Furfural from Biomass Utilizing Zr‐Loaded Zsm‐5 Zeolite Catalyst
by: Phan Huy Hoang, et al.
Published: (2025)

RepoHyper: Search-Expand-Refine on Semantic Graphs for Repository-Level Code Completion
by: Phan, Huy N., et al.
Published: (2024)

Data Distribution Valuation Using Generalized Bayesian Inference
by: Nguyen, Cuong N., et al.
Published: (2026)

Fact4ac at the Financial Misinformation Detection Challenge Task: Reference-Free Financial Misinformation Detection via Fine-Tuning and Few-Shot Prompting of Large Language Models
by: Hoang, Cuong, et al.
Published: (2026)

Protobothrops mucrosquamatus
by: Pham, Anh Van, et al.
Published: (2026)

Time‐optimal trajectory generation and observer‐based hierarchical sliding mode control for ballbots with system constraints
by: Duc Cuong Vu, et al.
Published: (2024)

Figure 3 from: Pham AV, Pham CT, Ha LT, Le MD, Quang Phan T, Ho ANT, Le M, Nguyen TQ (2026) Sphenomorphus tamchucensis sp. nov. (Squamata, Scincidae), a new skink from Vietnam. ZooKeys 1266: 263-279. https://doi.org/10.3897/zookeys.1266.176724
by: Pham, Anh Van, et al.
Published: (2026)

Figure 2 from: Pham AV, Pham CT, Ha LT, Le MD, Quang Phan T, Ho ANT, Le M, Nguyen TQ (2026) Sphenomorphus tamchucensis sp. nov. (Squamata, Scincidae), a new skink from Vietnam. ZooKeys 1266: 263-279. https://doi.org/10.3897/zookeys.1266.176724
by: Pham, Anh Van, et al.
Published: (2026)

TwinMixing: A Shuffle-Aware Feature Interaction Model for Multi-Task Segmentation
by: Do, Minh-Khoi, et al.
Published: (2026)

Fluorine‐Driven Interfacial Compatibility Enhances Thermal Properties of Thermoconductive Fluorinated Graphene Nanoplatelet‐Based Poly(Vinylidene Fluoride‐Co‐Hexafluoropropylene) Nanocomposites
by: Thi Ha Nguyen, et al.
Published: (2025)

Count What You Want: Exemplar Identification and Few-shot Counting of Human Actions in the Wild
by: Huang, Yifeng, et al.
Published: (2023)

Matrix-Scaled Consensus over Undirected Networks
by: Trinh, Minh Hoang, et al.
Published: (2023)

Mitigating Data Scarcity in Psychological Defense Classification with Context-Aware Synthetic Augmentation
by: Vu, Hoang-Thuy-Duong, et al.
Published: (2026)

Region in Context: Text-condition Image editing with Human-like semantic reasoning
by: Vu, Thuy Phuong, et al.
Published: (2025)

DMLDroid: Deep Multimodal Fusion Framework for Android Malware Detection with Resilience to Code Obfuscation and Adversarial Perturbations
by: Trung, Doan Minh, et al.
Published: (2025)

Primary renal well‐differentiated neuroendocrine tumors with lymph node metastasis: A case report and literature review
by: Huy‐Hoang Nguyen, et al.
Published: (2025)

Momentum Contrastive Learning with Enhanced Negative Sampling and Hard Negative Filtering
by: Hoang, Duy, et al.
Published: (2025)

Dual characterizations of norm minimization problems
by: Cuong, Nguyen Duy
Published: (2026)

Primal and dual characterizations of sign-symmetric norms
by: Cuong, Nguyen Duy
Published: (2025)

Improving the Robustness of 3D Human Pose Estimation: A Benchmark and Learning from Noisy Input
by: Hoang, Trung-Hieu, et al.
Published: (2023)

RAG-IT: Retrieval-Augmented Instruction Tuning for Automated Financial Analysis -- A Case Study for the Semiconductor Sector
by: To, Hai-Thien, et al.
Published: (2024)

Counterfactual Understanding via Retrieval-aware Multimodal Modeling for Time-to-Event Survival Prediction
by: Nguyen, Ha-Anh Hoang, et al.
Published: (2026)

VNJPTranslate: A comprehensive pipeline for Vietnamese-Japanese translation
by: Phan, Hoang Hai, et al.
Published: (2025)

SwiftPie: Lightning-fast Subject-driven Image Personalization via One step Diffusion
by: Duong, Huy, et al.
Published: (2026)

AgriKD: Cross-Architecture Knowledge Distillation for Efficient Leaf Disease Classification
by: Le, Minh-Dung, et al.
Published: (2026)

Exploring the Relationship Between Sleep Quality, Obesity, and Biochemical Markers in Elderly Outpatients
by: Phuong Thi Minh Bui, et al.
Published: (2025)

Extended State Observer for Mismatch Disturbances Using Taylor Approximation of the Integral
by: Nguyen, Cuong Duc
Published: (2024)

Approximate Solution Methods for the Average Reward Criterion in Optimal Tracking Control of Linear Systems
by: Nguyen, Duc Cuong
Published: (2025)

FlexEdit: Flexible and Controllable Diffusion-based Object-centric Image Editing
by: Nguyen, Trong-Tung, et al.
Published: (2024)

Rice‐Weed Competition Under Different Water Management Systems and Sustainable Weed Control Strategies
by: Duy Hoang Vu, et al.
Published: (2025)