Buchumschlag

QAL-Check: Quantum Alignment Logic Model Checker (Artifact)

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Anonymous
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

QAL-BP: An Augmented Lagrangian Quantum Approach for Bin Packing
von: Cellini, Lorenzo, et al.
Veröffentlicht: (2023)

Artifact for DCAware
von: Anonymous
Veröffentlicht: (2026)

Self-Checker: Plug-and-Play Modules for Fact-Checking with Large Language Models
von: Li, Miaoran, et al.
Veröffentlicht: (2023)

EpiQAL: Benchmarking Large Language Models in Epidemiological Question Answering and Reasoning
von: Wei, Mingyang, et al.
Veröffentlicht: (2026)

Who Checks the Checkers? Exploring Source Credibility in Twitter's Community Notes
von: Kangur, Uku, et al.
Veröffentlicht: (2024)

Artifact SiRop for "Deciding Termination of Simple Randomized Loops"
von: Anonymous, Anonymous
Veröffentlicht: (2025)

QAL: A Loss for Recall Precision Balance in 3D Reconstruction
von: Meshram, Pranay, et al.
Veröffentlicht: (2025)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
von: Chen, Boqi, et al.
Veröffentlicht: (2025)

Show Me the Work: Fact-Checkers' Requirements for Explainable Automated Fact-Checking
von: Warren, Greta, et al.
Veröffentlicht: (2025)

ASE_DiVerify_Artifact: Initial Release
von: Anonymous
Veröffentlicht: (2026)

Artifact for "The Jasmin Compiler Preserves Cryptographic Security."
von: Anonymous
Veröffentlicht: (2025)

ConnChecker: Automated Root-Cause Analysis for Formal Connectivity Check via Graph
von: Tiep, Do Ngoc, et al.
Veröffentlicht: (2026)

Machine Learning based Automatic Answer Checker Imitating Human Way of Answer Checking
von: Vishwas Tanwar
Veröffentlicht: (2021)

Artifact for "Are LLMs all we need in code comparison tasks?"
von: Anonymous
Veröffentlicht: (2024)

Artifacts for Publication - Fingerprints in the Wild: An Adversarial Study of Behavior Beyond Standard Attack Models and Implications for Robustness Evaluation
von: Anonymous
Veröffentlicht: (2026)

KUSHONLAR DAVRIDA ESKI TERMIZ QAL'ASI ATROFIDA QURILGAN BUDDA IBODATXONALARI TARIXI
von: Sherzod Radjabov, et al.
Veröffentlicht: (2026)

Science Checker Reloaded: A Bidirectional Paradigm for Transparency and Logical Reasoning
von: Rakotoson, Loïc, et al.
Veröffentlicht: (2024)

Artifact for Paper Submission "Checking -Satisfiability of Reals with Integrals"
von: Rivera, Cody, et al.
Veröffentlicht: (2025)

AgentBelt: Runtime Guardrails for LLM Agent Tool Calls — ASE 2026 Artifact
von: Anonymous
Veröffentlicht: (2026)

The SCAN Statistical Model Checker
von: Ghiorzi, Enrico, et al.
Veröffentlicht: (2026)

Model Checking Logical Actions in Magic Tricks
von: Zhu, Weijun
Veröffentlicht: (2024)

Fact Checking Chatbot: A Misinformation Intervention for Instant Messaging Apps and an Analysis of Trust in the Fact Checkers
von: Lim, Gionnieve, et al.
Veröffentlicht: (2024)

Quantum Checkers: The Development and Analysis of a Quantum Combinatorial Game
von: Raat, Marien, et al.
Veröffentlicht: (2025)

Artifacts for Codlis: A Multi-Agent Framework for Interactive Source Code Visualization via Knowledge Graphs
von: Anonymous
Veröffentlicht: (2026)

IoChecker
von: TNO
Veröffentlicht: (2025)

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning
von: Kommuru, Kranthi, et al.
Veröffentlicht: (2026)

Optimizing Logical Mappings for Quantum Low-Density Parity Check Codes
von: Sethi, Sayam, et al.
Veröffentlicht: (2026)

RefChecker: Reference-based Fine-grained Hallucination Checker and Benchmark for Large Language Models
von: Hu, Xiangkun, et al.
Veröffentlicht: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
von: Tulcan, Radu-Florin, et al.
Veröffentlicht: (2026)

Artifacts for "WebCQ: Cooperative Multi-Agent Reinforcement Learning for Scalable Web GUI Testing"
von: Anonymous Authors
Veröffentlicht: (2026)

Artifacts: From Physical to Virtual: Redefining Scientific Events with Immersive Technologies: A Case Report
von: Anonymous 01
Veröffentlicht: (0221)

Who Checks the Checker? Enhancing Component-level Architectural SEU Fault Tolerance for End-to-End SoC Protection
von: Rogenmoser, Michael, et al.
Veröffentlicht: (2026)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
von: Xu, Ming, et al.
Veröffentlicht: (2022)

Time-Efficient Logical Operations on Quantum Low-Density Parity Check Codes
von: Zhang, Guo, et al.
Veröffentlicht: (2024)

Artifact: GraphDroid: Asynchronous LLM-Based Mobile App GUI Testing via History-Aware Exploration and Hybrid Intent Fulfillment
von: Anonymous
Veröffentlicht: (2026)

Automated Motion Artifact Check for MRI (AutoMAC-MRI): An Interpretable Framework for Motion Artifact Detection and Severity Assessment
von: Jerald, Antony, et al.
Veröffentlicht: (2025)

Artifact for ASE'26 "Scaling LLM-Based Bug Detection via Universal Proof-of-Concept Test Generation"
von: Autho, Anonymous
Veröffentlicht: (2026)

The rIC3 Hardware Model Checker
von: Su, Yuheng, et al.
Veröffentlicht: (2025)

A Model Checker for Natural Strategic Ability
von: Aruta, Marco, et al.
Veröffentlicht: (2024)