Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
Fuente:
arXiv
Guardado en:
| Autor principal: | Yu, Yunguo |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
por: Ibrahim, Ahmed F.
Publicado: (2026)
por: Ibrahim, Ahmed F.
Publicado: (2026)
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
por: Töpfer, Michal, et al.
Publicado: (2026)
por: Töpfer, Michal, et al.
Publicado: (2026)
Code Hallucination
por: Rahman, Mirza Masfiqur, et al.
Publicado: (2024)
por: Rahman, Mirza Masfiqur, et al.
Publicado: (2024)
Automated Code Review Using Large Language Models with Symbolic Reasoning
por: Icoz, Busra, et al.
Publicado: (2025)
por: Icoz, Busra, et al.
Publicado: (2025)
Automated Repair of AI Code with Large Language Models and Formal Verification
por: Charalambous, Yiannis, et al.
Publicado: (2024)
por: Charalambous, Yiannis, et al.
Publicado: (2024)
Hallucination in LLM-Based Code Generation: An Automotive Case Study
por: Pavel, Marc, et al.
Publicado: (2025)
por: Pavel, Marc, et al.
Publicado: (2025)
Uncovering LLM-Generated Code: A Zero-Shot Synthetic Code Detector via Code Rewriting
por: Ye, Tong, et al.
Publicado: (2024)
por: Ye, Tong, et al.
Publicado: (2024)
HalluJudge: A Reference-Free Hallucination Detection for Context Misalignment in Code Review Automation
por: Tantithamthavorn, Kla, et al.
Publicado: (2026)
por: Tantithamthavorn, Kla, et al.
Publicado: (2026)
Detecting and Correcting Hallucinations in LLM-Generated Code via Deterministic AST Analysis
por: Khati, Dipin, et al.
Publicado: (2026)
por: Khati, Dipin, et al.
Publicado: (2026)
Automated Proof Generation for Rust Code via Self-Evolution
por: Chen, Tianyu, et al.
Publicado: (2024)
por: Chen, Tianyu, et al.
Publicado: (2024)
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
por: Erfan, Md, et al.
Publicado: (2026)
por: Erfan, Md, et al.
Publicado: (2026)
Post-Incorporating Code Structural Knowledge into Pretrained Models via ICL for Code Translation
por: Du, Yali, et al.
Publicado: (2025)
por: Du, Yali, et al.
Publicado: (2025)
Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
por: Lin, Yi, et al.
Publicado: (2026)
por: Lin, Yi, et al.
Publicado: (2026)
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
por: Li, Zenan, et al.
Publicado: (2026)
por: Li, Zenan, et al.
Publicado: (2026)
Previously on... Automating Code Review
por: Heumüller, Robert, et al.
Publicado: (2025)
por: Heumüller, Robert, et al.
Publicado: (2025)
Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges
por: Lee, Yunseo, et al.
Publicado: (2025)
por: Lee, Yunseo, et al.
Publicado: (2025)
Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code
por: Liu, Fang, et al.
Publicado: (2024)
por: Liu, Fang, et al.
Publicado: (2024)
Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
por: Zhang, Zejun, et al.
Publicado: (2026)
por: Zhang, Zejun, et al.
Publicado: (2026)
FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
por: Zhao, Qianhui, et al.
Publicado: (2025)
por: Zhao, Qianhui, et al.
Publicado: (2025)
Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
por: Sakharova, Marina, et al.
Publicado: (2025)
por: Sakharova, Marina, et al.
Publicado: (2025)
CodeMirage: Hallucinations in Code Generated by Large Language Models
por: Agarwal, Vibhor, et al.
Publicado: (2024)
por: Agarwal, Vibhor, et al.
Publicado: (2024)
Eliminating Hallucination-Induced Errors in LLM Code Generation with Functional Clustering
por: Ravuri, Chaitanya, et al.
Publicado: (2025)
por: Ravuri, Chaitanya, et al.
Publicado: (2025)
Chatbot-Based Assessment of Code Understanding in Automated Programming Assessment Systems
por: Frankford, Eduard, et al.
Publicado: (2026)
por: Frankford, Eduard, et al.
Publicado: (2026)
Reflective Paper-to-Code Reproduction Enabled by Fine-Grained Verification
por: Zhou, Mingyang, et al.
Publicado: (2025)
por: Zhou, Mingyang, et al.
Publicado: (2025)
Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
por: Abtahi, Seyed Moein, et al.
Publicado: (2025)
por: Abtahi, Seyed Moein, et al.
Publicado: (2025)
DomAgent: Leveraging Knowledge Graphs and Case-Based Reasoning for Domain-Specific Code Generation
por: Wang, Shuai, et al.
Publicado: (2026)
por: Wang, Shuai, et al.
Publicado: (2026)
Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
por: Sigloch, Paul, et al.
Publicado: (2026)
por: Sigloch, Paul, et al.
Publicado: (2026)
Hallucinations in Code Change to Natural Language Generation: Prevalence and Evaluation of Detection Metrics
por: Liu, Chunhua, et al.
Publicado: (2025)
por: Liu, Chunhua, et al.
Publicado: (2025)
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
por: Cramer, Marcos, et al.
Publicado: (2025)
por: Cramer, Marcos, et al.
Publicado: (2025)
Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
por: Ngassom, Sylvain Kouemo, et al.
Publicado: (2024)
por: Ngassom, Sylvain Kouemo, et al.
Publicado: (2024)
RAPGen: An Approach for Fixing Code Inefficiencies in Zero-Shot
por: Garg, Spandan, et al.
Publicado: (2023)
por: Garg, Spandan, et al.
Publicado: (2023)
90% Faster, 100% Code-Free: MLLM-Driven Zero-Code 3D Game Development
por: Yang, Runxin, et al.
Publicado: (2025)
por: Yang, Runxin, et al.
Publicado: (2025)
ZS4C: Zero-Shot Synthesis of Compilable Code for Incomplete Code Snippets using LLMs
por: Kabir, Azmain, et al.
Publicado: (2024)
por: Kabir, Azmain, et al.
Publicado: (2024)
Automated Classification of Source Code Changes Based on Metrics Clustering in the Software Development Process
por: Kniazev, Evgenii
Publicado: (2026)
por: Kniazev, Evgenii
Publicado: (2026)
Automated Snippet-Alignment Data Augmentation for Code Translation
por: Zhang, Zhiming, et al.
Publicado: (2025)
por: Zhang, Zhiming, et al.
Publicado: (2025)
Auto-SPT: Automating Semantic Preserving Transformations for Code
por: Hooda, Ashish, et al.
Publicado: (2025)
por: Hooda, Ashish, et al.
Publicado: (2025)
Automated Benchmark Generation for Repository-Level Coding Tasks
por: Vergopoulos, Konstantinos, et al.
Publicado: (2025)
por: Vergopoulos, Konstantinos, et al.
Publicado: (2025)
BugSpotter: Automated Generation of Code Debugging Exercises
por: Pădurean, Victor-Alexandru, et al.
Publicado: (2024)
por: Pădurean, Victor-Alexandru, et al.
Publicado: (2024)
Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
por: Zhang, Liao, et al.
Publicado: (2026)
por: Zhang, Liao, et al.
Publicado: (2026)
Exploring and Unleashing the Power of Large Language Models in Automated Code Translation
por: Yang, Zhen, et al.
Publicado: (2024)
por: Yang, Zhen, et al.
Publicado: (2024)
Ejemplares similares
-
Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
por: Ibrahim, Ahmed F.
Publicado: (2026) -
Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
por: Töpfer, Michal, et al.
Publicado: (2026) -
Code Hallucination
por: Rahman, Mirza Masfiqur, et al.
Publicado: (2024) -
Automated Code Review Using Large Language Models with Symbolic Reasoning
por: Icoz, Busra, et al.
Publicado: (2025) -
Automated Repair of AI Code with Large Language Models and Formal Verification
por: Charalambous, Yiannis, et al.
Publicado: (2024)