Buchumschlag

Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yu, Yunguo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
von: Ibrahim, Ahmed F.
Veröffentlicht: (2026)

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
von: Töpfer, Michal, et al.
Veröffentlicht: (2026)

Code Hallucination
von: Rahman, Mirza Masfiqur, et al.
Veröffentlicht: (2024)

Automated Code Review Using Large Language Models with Symbolic Reasoning
von: Icoz, Busra, et al.
Veröffentlicht: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
von: Charalambous, Yiannis, et al.
Veröffentlicht: (2024)

Hallucination in LLM-Based Code Generation: An Automotive Case Study
von: Pavel, Marc, et al.
Veröffentlicht: (2025)

Uncovering LLM-Generated Code: A Zero-Shot Synthetic Code Detector via Code Rewriting
von: Ye, Tong, et al.
Veröffentlicht: (2024)

HalluJudge: A Reference-Free Hallucination Detection for Context Misalignment in Code Review Automation
von: Tantithamthavorn, Kla, et al.
Veröffentlicht: (2026)

Detecting and Correcting Hallucinations in LLM-Generated Code via Deterministic AST Analysis
von: Khati, Dipin, et al.
Veröffentlicht: (2026)

Automated Proof Generation for Rust Code via Self-Evolution
von: Chen, Tianyu, et al.
Veröffentlicht: (2024)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
von: Erfan, Md, et al.
Veröffentlicht: (2026)

Post-Incorporating Code Structural Knowledge into Pretrained Models via ICL for Code Translation
von: Du, Yali, et al.
Veröffentlicht: (2025)

Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
von: Lin, Yi, et al.
Veröffentlicht: (2026)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
von: Li, Zenan, et al.
Veröffentlicht: (2026)

Previously on... Automating Code Review
von: Heumüller, Robert, et al.
Veröffentlicht: (2025)

Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges
von: Lee, Yunseo, et al.
Veröffentlicht: (2025)

Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code
von: Liu, Fang, et al.
Veröffentlicht: (2024)

Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
von: Zhang, Zejun, et al.
Veröffentlicht: (2026)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
von: Zhao, Qianhui, et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
von: Sakharova, Marina, et al.
Veröffentlicht: (2025)

CodeMirage: Hallucinations in Code Generated by Large Language Models
von: Agarwal, Vibhor, et al.
Veröffentlicht: (2024)

Eliminating Hallucination-Induced Errors in LLM Code Generation with Functional Clustering
von: Ravuri, Chaitanya, et al.
Veröffentlicht: (2025)

Chatbot-Based Assessment of Code Understanding in Automated Programming Assessment Systems
von: Frankford, Eduard, et al.
Veröffentlicht: (2026)

Reflective Paper-to-Code Reproduction Enabled by Fine-Grained Verification
von: Zhou, Mingyang, et al.
Veröffentlicht: (2025)

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
von: Abtahi, Seyed Moein, et al.
Veröffentlicht: (2025)

DomAgent: Leveraging Knowledge Graphs and Case-Based Reasoning for Domain-Specific Code Generation
von: Wang, Shuai, et al.
Veröffentlicht: (2026)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
von: Sigloch, Paul, et al.
Veröffentlicht: (2026)

Hallucinations in Code Change to Natural Language Generation: Prevalence and Evaluation of Detection Metrics
von: Liu, Chunhua, et al.
Veröffentlicht: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
von: Cramer, Marcos, et al.
Veröffentlicht: (2025)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
von: Ngassom, Sylvain Kouemo, et al.
Veröffentlicht: (2024)

RAPGen: An Approach for Fixing Code Inefficiencies in Zero-Shot
von: Garg, Spandan, et al.
Veröffentlicht: (2023)

90% Faster, 100% Code-Free: MLLM-Driven Zero-Code 3D Game Development
von: Yang, Runxin, et al.
Veröffentlicht: (2025)

ZS4C: Zero-Shot Synthesis of Compilable Code for Incomplete Code Snippets using LLMs
von: Kabir, Azmain, et al.
Veröffentlicht: (2024)

Automated Classification of Source Code Changes Based on Metrics Clustering in the Software Development Process
von: Kniazev, Evgenii
Veröffentlicht: (2026)

Automated Snippet-Alignment Data Augmentation for Code Translation
von: Zhang, Zhiming, et al.
Veröffentlicht: (2025)

Auto-SPT: Automating Semantic Preserving Transformations for Code
von: Hooda, Ashish, et al.
Veröffentlicht: (2025)

Automated Benchmark Generation for Repository-Level Coding Tasks
von: Vergopoulos, Konstantinos, et al.
Veröffentlicht: (2025)

BugSpotter: Automated Generation of Code Debugging Exercises
von: Pădurean, Victor-Alexandru, et al.
Veröffentlicht: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
von: Zhang, Liao, et al.
Veröffentlicht: (2026)

Exploring and Unleashing the Power of Large Language Models in Automated Code Translation
von: Yang, Zhen, et al.
Veröffentlicht: (2024)