{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:FIASAIKJBYUJL7VSNNNPTLNPPT","short_pith_number":"pith:FIASAIKJ","schema_version":"1.0","canonical_sha256":"2a012021490e2895feb26b5af9adaf7ccfd19a8d97d0513e88b2beb4df7007b0","source":{"kind":"arxiv","id":"1501.06841","version":3},"attestation_state":"computed","paper":{"title":"A Canonical Form for Weighted Automata and Applications to Approximate Minimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Borja Balle, Doina Precup, Prakash Panangaden","submitted_at":"2015-01-27T17:50:47Z","abstract_excerpt":"We study the problem of constructing approximations to a weighted automaton. Weighted finite automata (WFA) are closely related to the theory of rational series. A rational series is a function from strings to real numbers that can be computed by a finite WFA. Among others, this includes probability distributions generated by hidden Markov models and probabilistic automata. The relationship between rational series and WFA is analogous to the relationship between regular languages and ordinary automata. Associated with such rational series are infinite matrices called Hankel matrices which play"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1501.06841","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-27T17:50:47Z","cross_cats_sorted":[],"title_canon_sha256":"1686a3a8fb2c77d8b902ffd1f63633c63cb29275bb0f178cc0fa0ba5e3fb0f92","abstract_canon_sha256":"26bdc417835f1a09494050b23de92a9db46617b7bc5b7e9547eef44cdd6123fb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:17:54.236707Z","signature_b64":"IO+dpcNYmKd8WPKpB1TKlhOHc6TWaENJXlba77KsdB79lKSA8JBHnqemvwMz2OMjyLyaTsaH29FSwJk9Z5XVCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a012021490e2895feb26b5af9adaf7ccfd19a8d97d0513e88b2beb4df7007b0","last_reissued_at":"2026-05-18T02:17:54.236131Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:17:54.236131Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Canonical Form for Weighted Automata and Applications to Approximate Minimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Borja Balle, Doina Precup, Prakash Panangaden","submitted_at":"2015-01-27T17:50:47Z","abstract_excerpt":"We study the problem of constructing approximations to a weighted automaton. Weighted finite automata (WFA) are closely related to the theory of rational series. A rational series is a function from strings to real numbers that can be computed by a finite WFA. Among others, this includes probability distributions generated by hidden Markov models and probabilistic automata. The relationship between rational series and WFA is analogous to the relationship between regular languages and ordinary automata. Associated with such rational series are infinite matrices called Hankel matrices which play"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.06841","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1501.06841","created_at":"2026-05-18T02:17:54.236226+00:00"},{"alias_kind":"arxiv_version","alias_value":"1501.06841v3","created_at":"2026-05-18T02:17:54.236226+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.06841","created_at":"2026-05-18T02:17:54.236226+00:00"},{"alias_kind":"pith_short_12","alias_value":"FIASAIKJBYUJ","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_16","alias_value":"FIASAIKJBYUJL7VS","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_8","alias_value":"FIASAIKJ","created_at":"2026-05-18T12:29:19.899920+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT","json":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT.json","graph_json":"https://pith.science/api/pith-number/FIASAIKJBYUJL7VSNNNPTLNPPT/graph.json","events_json":"https://pith.science/api/pith-number/FIASAIKJBYUJL7VSNNNPTLNPPT/events.json","paper":"https://pith.science/paper/FIASAIKJ"},"agent_actions":{"view_html":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT","download_json":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT.json","view_paper":"https://pith.science/paper/FIASAIKJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1501.06841&json=true","fetch_graph":"https://pith.science/api/pith-number/FIASAIKJBYUJL7VSNNNPTLNPPT/graph.json","fetch_events":"https://pith.science/api/pith-number/FIASAIKJBYUJL7VSNNNPTLNPPT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/action/storage_attestation","attest_author":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/action/author_attestation","sign_citation":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/action/citation_signature","submit_replication":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/action/replication_record"}},"created_at":"2026-05-18T02:17:54.236226+00:00","updated_at":"2026-05-18T02:17:54.236226+00:00"}