{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:JD35OJH5BZPSKK363EMYPC7RQE","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4ffe99453b7bbc8e5e3a226936abfc557d9b05fcabc08c4a7c3c52671d7a5638","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-10-19T15:30:24Z","title_canon_sha256":"2b27bb742ee1a73bd0ca9844c8e48d468e2dcc8300170d34950837baa60c7ac5"},"schema_version":"1.0","source":{"id":"2110.10054","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.10054","created_at":"2026-07-05T06:07:19Z"},{"alias_kind":"arxiv_version","alias_value":"2110.10054v3","created_at":"2026-07-05T06:07:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.10054","created_at":"2026-07-05T06:07:19Z"},{"alias_kind":"pith_short_12","alias_value":"JD35OJH5BZPS","created_at":"2026-07-05T06:07:19Z"},{"alias_kind":"pith_short_16","alias_value":"JD35OJH5BZPSKK36","created_at":"2026-07-05T06:07:19Z"},{"alias_kind":"pith_short_8","alias_value":"JD35OJH5","created_at":"2026-07-05T06:07:19Z"}],"graph_snapshots":[{"event_id":"sha256:08418e5daaedd7fcfe77205e6c6af10226ff31946064d5d11150b08463f8ff84","target":"graph","created_at":"2026-07-05T06:07:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2110.10054/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the capabilities of GANs and Wasserstein GANs equipped with Transformer encoders to generate sensible and challenging training data for symbolic reasoning domains. We conduct experiments on two problem domains where Transformers have been successfully applied recently: symbolic mathematics and temporal specifications in verification. Even without autoregression, our GAN models produce syntactically correct instances. We show that the generated data can be used as a substitute for real training data when training a classifier, and, especially, that training data can be generated from a","authors_text":"Christopher Hahn, Jens U. Kreber","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-10-19T15:30:24Z","title":"Generating Symbolic Reasoning Problems with Transformer GANs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.10054","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0a2bcc803592980a2d4a9a396447954cbc8544967200173eb87534ca364efcd2","target":"record","created_at":"2026-07-05T06:07:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4ffe99453b7bbc8e5e3a226936abfc557d9b05fcabc08c4a7c3c52671d7a5638","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-10-19T15:30:24Z","title_canon_sha256":"2b27bb742ee1a73bd0ca9844c8e48d468e2dcc8300170d34950837baa60c7ac5"},"schema_version":"1.0","source":{"id":"2110.10054","kind":"arxiv","version":3}},"canonical_sha256":"48f7d724fd0e5f252b7ed919878bf1810054fee6e295977be4dbcdbce32dc019","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48f7d724fd0e5f252b7ed919878bf1810054fee6e295977be4dbcdbce32dc019","first_computed_at":"2026-07-05T06:07:19.528877Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:07:19.528877Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8w0Dz/qbjZwoIsoL0EYoJwDQYRtul95Be2mSQgQIgTC1BSXz4Udj86lM2vHu1izhLe4Zl4PheUYn6loAPsoKBw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:07:19.529403Z","signed_message":"canonical_sha256_bytes"},"source_id":"2110.10054","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0a2bcc803592980a2d4a9a396447954cbc8544967200173eb87534ca364efcd2","sha256:08418e5daaedd7fcfe77205e6c6af10226ff31946064d5d11150b08463f8ff84"],"state_sha256":"2f7e9fcf16b1ca2192b821a8bd06b7768873ef3b5a9e67b75180ac10baa06213"}