Cover Image

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bouzinier, Michael, Trifonov, Sergey, Chumack, Michael, Lvova, Eugenia, Etin, Dmitry
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Programming Languages Software Engineering Quantitative Methods 68N15, 68N30, 92D10 D.3.2; D.2.4; D.2.1; J.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
by: Niketan, Nripesh, et al.
Published: (2025)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

NBI-Slurm: Simplified submission of Slurm jobs with energy saving mode
by: Telatin, Andrea
Published: (2026)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
by: Han, Jipeng
Published: (2024)

Inferring Input Grammars from Code with Symbolic Parsing
by: Bettscheider, Leon, et al.
Published: (2025)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
by: Potanin, Alex
Published: (2026)

Anchor Attention, Small Cache: Code Generation with Large Language Models
by: Zhang, Xiangyu, et al.
Published: (2024)

Feature-Factory: Automating Software Feature Integration Using Generative AI
by: Vsevolodovna, Ruslan Idelfonso Magana
Published: (2024)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
by: Khan, Ishraq, et al.
Published: (2025)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
by: Chen, Xinfang, et al.
Published: (2025)

AI for software engineering: from probable to provable
by: Meyer, Bertrand
Published: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

UniZyme: A Unified Protein Cleavage Site Predictor Enhanced with Enzyme Active-Site Knowledge
by: Li, Chenao, et al.
Published: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
by: Liyanage, Danushka, et al.
Published: (2025)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

High-Performance Generation of Constrained Inputs
by: Crump, Addison, et al.
Published: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

Author Once, Publish Everywhere: Portable Metadata Authoring with the CEDAR Embeddable Editor
by: O'Connor, Martin J., et al.
Published: (2025)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
by: Morse, Gregory, et al.
Published: (2026)

DRS-OSS: Practical Diff Risk Scoring with LLMs
by: Sayedsalehi, Ali, et al.
Published: (2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
by: Vieira, João Victor Amorim, et al.
Published: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
by: George, Robert Joseph, et al.
Published: (2025)

Generative AI and the Transformation of Software Development Practices
by: Acharya, Vivek
Published: (2025)

Contract-based Verification of Digital Twins
by: Naeem, Muhammad, et al.
Published: (2025)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
by: Wang, Chengpeng, et al.
Published: (2024)

Neural Network-Enhanced Disease Spread Dynamics Over Time and Space
by: Caga-anan, Randy L.
Published: (2024)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
by: Erhard, Julian, et al.
Published: (2024)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
by: Radosky, Lukas, et al.
Published: (2026)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
by: Bagnara, Roberto, et al.
Published: (2016)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)