{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:7AWPWBHM7MKHJMYVJG6OULDUMB","short_pith_number":"pith:7AWPWBHM","schema_version":"1.0","canonical_sha256":"f82cfb04ecfb1474b31549bcea2c7460678dcd0be7995f34de01d90afa18bbd6","source":{"kind":"arxiv","id":"2406.08269","version":2},"attestation_state":"computed","paper":{"title":"Analyzing constrained LLM through PDFA-learning","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.FL","authors_text":"Alejo Garat, Franz Mayr, Johny Kidd, Juan Pedro da Silva, Mart\\'in Iturbide, Mat\\'ias Carrasco, Sergio Yovine","submitted_at":"2024-06-12T14:35:19Z","abstract_excerpt":"We define a congruence that copes with null next-symbol probabilities that arise when the output of a language model is constrained by some means during text generation. We develop an algorithm for efficiently learning the quotient with respect to this congruence and evaluate it on case studies for analyzing statistical properties of LLM."},"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":"2406.08269","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2024-06-12T14:35:19Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"f9db903bebc7063783286bc17c955242229acee09d1721e4f8854283c455a6d3","abstract_canon_sha256":"ac8527f42c06f5c6c89e87e12031ab91bb337a1a07765d9207ebfb1f8f6ddf25"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:32:13.370192Z","signature_b64":"cqmPd/q0Pb/TxnY6X9NF5rktPo1PzjjS/hXKlzIwU6K4E8FDDoxrhLdmp/K4Q7sUgdnwSyje//tAEQLCTH6zAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f82cfb04ecfb1474b31549bcea2c7460678dcd0be7995f34de01d90afa18bbd6","last_reissued_at":"2026-07-05T08:32:13.369694Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:32:13.369694Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Analyzing constrained LLM through PDFA-learning","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.FL","authors_text":"Alejo Garat, Franz Mayr, Johny Kidd, Juan Pedro da Silva, Mart\\'in Iturbide, Mat\\'ias Carrasco, Sergio Yovine","submitted_at":"2024-06-12T14:35:19Z","abstract_excerpt":"We define a congruence that copes with null next-symbol probabilities that arise when the output of a language model is constrained by some means during text generation. We develop an algorithm for efficiently learning the quotient with respect to this congruence and evaluate it on case studies for analyzing statistical properties of LLM."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.08269","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2406.08269/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2406.08269","created_at":"2026-07-05T08:32:13.369756+00:00"},{"alias_kind":"arxiv_version","alias_value":"2406.08269v2","created_at":"2026-07-05T08:32:13.369756+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.08269","created_at":"2026-07-05T08:32:13.369756+00:00"},{"alias_kind":"pith_short_12","alias_value":"7AWPWBHM7MKH","created_at":"2026-07-05T08:32:13.369756+00:00"},{"alias_kind":"pith_short_16","alias_value":"7AWPWBHM7MKHJMYV","created_at":"2026-07-05T08:32:13.369756+00:00"},{"alias_kind":"pith_short_8","alias_value":"7AWPWBHM","created_at":"2026-07-05T08:32:13.369756+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.20454","citing_title":"Minimality of Random Moore Automata under Prefix-Dependent Congruences","ref_index":6,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB","json":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB.json","graph_json":"https://pith.science/api/pith-number/7AWPWBHM7MKHJMYVJG6OULDUMB/graph.json","events_json":"https://pith.science/api/pith-number/7AWPWBHM7MKHJMYVJG6OULDUMB/events.json","paper":"https://pith.science/paper/7AWPWBHM"},"agent_actions":{"view_html":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB","download_json":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB.json","view_paper":"https://pith.science/paper/7AWPWBHM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2406.08269&json=true","fetch_graph":"https://pith.science/api/pith-number/7AWPWBHM7MKHJMYVJG6OULDUMB/graph.json","fetch_events":"https://pith.science/api/pith-number/7AWPWBHM7MKHJMYVJG6OULDUMB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB/action/storage_attestation","attest_author":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB/action/author_attestation","sign_citation":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB/action/citation_signature","submit_replication":"https://pith.science/pith/7AWPWBHM7MKHJMYVJG6OULDUMB/action/replication_record"}},"created_at":"2026-07-05T08:32:13.369756+00:00","updated_at":"2026-07-05T08:32:13.369756+00:00"}