3 papers
cs.CR2026
The Cross-Domain State Preservation Functor: A Mechanized Theory of Regulatory State Synchronization in Isabelle/HOL
Jinwook Kim
A regulatory action on a tokenized asset, such as a freeze, a seizure, or a confiscation, must take effect on every domain holding it, or on none. We mechanize cross-domain state p…
cs.CY2026
A Regulatory Compliance Protocol for Asset Interoperability Between Traditional and Decentralized Finance in Tokenized Capital Markets
Jinwook Kim, Jonghun Hong
There have been various attempts at token standards on numerous blockchain platforms today to fundamentally change the way assets are traded in the traditional capital markets, but…
stat.ML2026
Explainable Bayesian deep learning through input-skip Latent Binary Bayesian Neural Networks
Eirik Høyheim, Lars Skaaret-Lund, Solve Sæbø +1
Modeling natural phenomena with artificial neural networks (ANNs) often provides highly accurate predictions. However, ANNs often suffer from over-parameterization, complicating in…