Tag
This paper measures how much formal semantic structure explains human label variation in natural language inference (NLI) using ChaosNLI data, finding group-level effects on entropy but item-level ceilings and null composition effects.
This paper presents a formally grounded ODRL evaluator with transparent semantics, supporting all rule types, and compares its performance with existing evaluators, addressing interoperability issues in policy modelling for data access and AI governance.
This paper presents a formal theory for defining reuse of answers in governed conversational AI systems, replacing similarity heuristics with mathematically characterized quotient spaces of resolved utterances.
A personal research page cataloging small finitely-presented monoids and their word-problem difficulty, motivated by Swift compiler’s use of Knuth-Bendix completion for generic-signature equivalence.