:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	TNO
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.14871296
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Billiards, Checkers, and Quadratic Reciprocity
by: Wästlund, Johan
Published: (2024)

The SCAN Statistical Model Checker
by: Ghiorzi, Enrico, et al.
Published: (2026)

Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
by: Liu, Jun, et al.
Published: (2024)

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

A Lazy, Concurrent Convertibility Checker
by: Courant, Nathanaëlle, et al.
Published: (2025)

Double Auctions: Formalization and Automated Checkers
by: Garg, Mohit, et al.
Published: (2024)

Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

The rIC3 Hardware Model Checker
by: Su, Yuheng, et al.
Published: (2025)

Renal Denervation—“Gizmo Idolatry” Fact Checker
by: Markus P. Schlaich, et al.
Published: (2025)

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

AICCE: AI Driven Compliance Checker Engine
by: Rahman, Mohammad Wali Ur, et al.
Published: (2026)

A Model Checker for Natural Strategic Ability
by: Aruta, Marco, et al.
Published: (2024)

Variants of Conway Checkers and k-nacci Jumping
by: Bruda, Glenn, et al.
Published: (2024)

What Makes a Medical Checker Trainable? Diagnosing Signal Collapse and Reward Hacking in Checker-Guided RAG for Biomedical QA
by: Ji, Yuelyu, et al.
Published: (2026)

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
by: Yang, Chenyuan, et al.
Published: (2025)

Can Community Notes Replace Professional Fact-Checkers?
by: Borenstein, Nadav, et al.
Published: (2025)

An Automated Blackbox Noncompliance Checker for QUIC Server Implementations
by: Ang, Kian Kai, et al.
Published: (2025)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
by: Pontiggia, Francesco, et al.
Published: (2025)

Vibe Checker: Aligning Code Evaluation with Human Preference
by: Zhong, Ming, et al.
Published: (2025)

Characterizing AI Fact-Checkers and Their Contributions on Community Notes
by: Gong, Yilin, et al.
Published: (2026)

ExeChecker: Where Did I Go Wrong?
by: Gu, Yiwen, et al.
Published: (2024)

Checker Bug Detection and Repair in Deep Learning Libraries
by: Harzevili, Nima Shiri, et al.
Published: (2024)

HyperQB: A Bounded Model Checker for Hyperproperties
by: Hsu, Tzu-Han, et al.
Published: (2021)

A Model Checker for the Verification of Browser Based Protocols
by: Victor Ferman
Published: (2017)

Are Large Language Models Table-based Fact-Checkers?
by: Zhang, Hanwen, et al.
Published: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
by: Ates, Salih, et al.
Published: (2024)

Quantum Checkers: The Development and Analysis of a Quantum Combinatorial Game
by: Raat, Marien, et al.
Published: (2025)

Esc: An Early-stopping Checker for Budget-aware Index Tuning
by: Wang, Xiaoying, et al.
Published: (2025)

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
by: Hassnain, Muhammad, et al.
Published: (2025)

ConsistencyChecker: Tree-based Evaluation of LLM Generalization Capabilities
by: Hong, Zhaochen, et al.
Published: (2025)

GS-Checker: Tampering Localization for 3D Gaussian Splatting
by: Han, Haoliang, et al.
Published: (2025)

Ranks of Checkered Pattern Matrices with Applications to Information Embedding and Retrieving
by: Hirose, Hideo
Published: (2025)

QAL-Check: Quantum Alignment Logic Model Checker (Artifact)
by: Anonymous
Published: (2026)

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs
by: Yang, Qizhe, et al.
Published: (2024)

DiffGuard: Text-Based Safety Checker for Diffusion Models
by: Khader, Massine El, et al.
Published: (2024)

Survey of Pseudonymization, Abstractive Summarization & Spell Checker for Hindi and Marathi
by: Ransing, Rasika, et al.
Published: (2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

EmphasisChecker: A Tool for Guiding Chart and Caption Emphasis
by: Kim, Dae Hyun, et al.
Published: (2023)

FlyCatcher: Neural Inference of Runtime Checkers from Tests
by: Souza, Beatriz, et al.
Published: (2026)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)