Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Catelingo: Constraint-Based Semantic Validity Verification for Language Models
Catelingo: Constraint-Based Semantic Validity Verification for Language Models
Fuente:
Zenodo
Saved in:
Bibliographic Details
Main Author:
Miya, Shinobu
Format:
Recurso digital
Language:
English
Published:
Zenodo
2026
Subjects:
semantic verification
constraint satisfaction
Hallucinations
symbolic methods
Online Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Internet
https://doi.org/10.5281/zenodo.18148498
Similar Items
The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
by: Arquint, Linard, et al.
Published: (2025)
Author Verification Using a Semantic Space Model
by: Ángel Hernández-Castañeda
Published: (2017)
Trauma-Aware AI Noise Robustness Dataset
by: George, Michelle Lynn
Published: (2025)
A Timestamped Priority Note on Thermodynamic Verification Budgets and Mutual-Information Geometry in Relational Physics
by: Panasenko, Alexander
Published: (2026)
Post-Bayesian C; Constraint Network Dynamics- A Framework for Topological Representation and Logical Reconstruction of Belief
by: zhou, changzheng, et al.
Published: (2026)