{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/generating-symbolic-reasoning-problems-with-1","title":"Generating Symbolic Reasoning Problems with Transformer GANs","arxiv_id":"2110.10054","date":"2021-10-19","proceeding":null,"authors":["Jens U. Kreber","Christopher Hahn"],"abstract":"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 dataset that is too small to be trained on directly. Using a GAN setting also allows us to alter the target distribution: We show that by adding a classifier uncertainty part to the generator objective, we obtain a dataset that is even harder to solve for a temporal logic classifier than our original dataset.","url_abs":"https://arxiv.org/abs/2110.10054v3","url_pdf":"https://arxiv.org/pdf/2110.10054v3.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"generating-symbolic-reasoning-problems-with-1","repo_url":"https://github.com/reactive-systems/TGAN-SR","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"tf","reach":{"status":"ok","spdx":"MIT"}}],"tasks":[],"methods":[{"method_slug":"absolute-position-encodings","method_name":"Absolute Position Encodings"},{"method_slug":"adam","method_name":"Adam"},{"method_slug":"attention","method_name":"Attention"},{"method_slug":"bpe","method_name":"BPE"},{"method_slug":"dense-connections","method_name":"Dense Connections"},{"method_slug":"dropout","method_name":"Dropout"},{"method_slug":"label-smoothing","method_name":"Label Smoothing"},{"method_slug":"layer-normalization","method_name":"Layer Normalization"},{"method_slug":"linear-layer","method_name":"Linear Layer"},{"method_slug":"multi-head-attention","method_name":"Multi-Head Attention"},{"method_slug":"position-wise-feed-forward-layer","method_name":"Position-Wise Feed-Forward Layer"},{"method_slug":"residual-connection","method_name":"Residual Connection"},{"method_slug":"softmax","method_name":"Softmax"},{"method_slug":"transformer","method_name":"Transformer"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2110.10054","atlas_url":"https://app.syntology.ai/?focus=2110.10054","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2110.10054"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/reactive-systems/TGAN-SR","reach":{"status":"ok","spdx":"MIT"}}],"summary":{"ran":5,"ran_honours":1,"unverified":5},"by_repo_kind":{"official":{"samples":11,"ran":6,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":0,"samples":[{"code_sha256_prefix":"5b6e266954e9a905","entry":"FL","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/data_generation/spec_patterns.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/data_generation/spec_patterns.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"5b6e266954e9a905"}},{"code_sha256_prefix":"1bfc281ca0cb23d6","entry":"create_look_ahead_mask","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/transformer/common.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/transformer/common.py","link_basis":"harvester_set","language":"python","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"well_formed","behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"1bfc281ca0cb23d6"}},{"code_sha256_prefix":"23d0a4ea8b244957","entry":"create_padding_mask","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/transformer/common.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/transformer/common.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"23d0a4ea8b244957"}},{"code_sha256_prefix":"9019d6c79504cf88","entry":"load_params","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/train/common.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/train/common.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"9019d6c79504cf88"}},{"code_sha256_prefix":"158bffb5a0e1ddb3","entry":"parse_polish","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/gan/utils.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/gan/utils.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"158bffb5a0e1ddb3"}},{"code_sha256_prefix":"101db0104ac311b8","entry":"positional_encoding","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/transformer/positional_encoding.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/transformer/positional_encoding.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"101db0104ac311b8"}},{"code_sha256_prefix":"519834c55264eeb1","entry":"aalta_sat","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/data_generation/ltl.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/data_generation/ltl.py","link_basis":"harvester_set","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"519834c55264eeb1"}},{"code_sha256_prefix":"a2d055cca89371e0","entry":"checkpoint_callback","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/train/common.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/train/common.py","link_basis":"harvester_set","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"a2d055cca89371e0"}},{"code_sha256_prefix":"bd594cfa2fd652e7","entry":"checkpoint_path","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/train/common.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/train/common.py","link_basis":"harvester_set","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"bd594cfa2fd652e7"}},{"code_sha256_prefix":"370c1f3fe2690649","entry":"get_angles","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/transformer/positional_encoding.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/transformer/positional_encoding.py","link_basis":"harvester_set","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"370c1f3fe2690649"}},{"code_sha256_prefix":"6e22d18d71e35c49","entry":"scaled_dot_product_attention","repo":"reactive-systems/TGAN-SR","repo_kind":"official","path":"impl/tgan_sr/transformer/attention.py","file_url":"https://github.com/reactive-systems/TGAN-SR/blob/HEAD/impl/tgan_sr/transformer/attention.py","link_basis":"harvester_set","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"6e22d18d71e35c49"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}