Composition and Weight Pushing of Monotonic Subsequential Failure Transducers Representing Probabilistic Models
Diana Geneva, Georgi Shopov, Stoyan Mihov

TL;DR
This paper introduces an efficient method for composing probabilistic subsequential transducers with failure transducers, enabling better weight redistribution and optimization in probabilistic models.
Contribution
It presents a novel construction for composing these transducers and a method for efficient weight pushing under specific conditions, improving model efficiency.
Findings
Efficient composition avoids unnecessary states.
Weights can be redistributed via weight pushing.
Applicable under certain transduction device conditions.
Abstract
We present a construction for the composition of subsequential transducers (representing conditional probabilistic models) with subsequential failure transducers (representing probabilistic models). Under certain conditions, satisfied by the corresponding transduction devices, a more efficient construction is applicable that avoids the creation of unnecessary states. Furthermore, the weights of the resulting failure transducers can be efficiently redistributed via weight pushing in the and semirings.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Formal Methods in Verification · Logic, programming, and type systems
