├── .gitignore ├── LICENSE ├── README.md ├── data.zip ├── generate_data.py ├── images ├── counter_plot.png └── hierarchyz.png ├── requirements.txt ├── setup.sh └── src ├── __init__.py ├── args.py ├── components ├── __init__.py ├── mogrifierLSTM.py ├── position_encodings.py ├── readme.md ├── rnns.py ├── self_attention.py ├── transformer_encoder.py ├── transformers.py └── utils.py ├── dataloader.py ├── main.py ├── model.py ├── utils ├── __init__.py ├── boolean_expr_generator.py ├── crl_generator.py ├── data_generator.py ├── dyck_generator.py ├── helper.py ├── logger.py ├── nonstarfree_generator.py ├── parity_generator.py ├── reset_dyck_generator.py ├── sentence_processing.py ├── shuffle_generator.py ├── starfree_generator.py └── tomita_generator.py ├── visualize_san.py └── visualize_san_v2.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/README.md -------------------------------------------------------------------------------- /data.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/data.zip -------------------------------------------------------------------------------- /generate_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/generate_data.py -------------------------------------------------------------------------------- /images/counter_plot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/images/counter_plot.png -------------------------------------------------------------------------------- /images/hierarchyz.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/images/hierarchyz.png -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/setup.sh -------------------------------------------------------------------------------- /src/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/args.py -------------------------------------------------------------------------------- /src/components/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/components/mogrifierLSTM.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/components/mogrifierLSTM.py -------------------------------------------------------------------------------- /src/components/position_encodings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/components/position_encodings.py -------------------------------------------------------------------------------- /src/components/readme.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/components/rnns.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/components/rnns.py -------------------------------------------------------------------------------- /src/components/self_attention.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/components/self_attention.py -------------------------------------------------------------------------------- /src/components/transformer_encoder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/components/transformer_encoder.py -------------------------------------------------------------------------------- /src/components/transformers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/components/transformers.py -------------------------------------------------------------------------------- /src/components/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/components/utils.py -------------------------------------------------------------------------------- /src/dataloader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/dataloader.py -------------------------------------------------------------------------------- /src/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/main.py -------------------------------------------------------------------------------- /src/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/model.py -------------------------------------------------------------------------------- /src/utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/utils/boolean_expr_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/boolean_expr_generator.py -------------------------------------------------------------------------------- /src/utils/crl_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/crl_generator.py -------------------------------------------------------------------------------- /src/utils/data_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/data_generator.py -------------------------------------------------------------------------------- /src/utils/dyck_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/dyck_generator.py -------------------------------------------------------------------------------- /src/utils/helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/helper.py -------------------------------------------------------------------------------- /src/utils/logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/logger.py -------------------------------------------------------------------------------- /src/utils/nonstarfree_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/nonstarfree_generator.py -------------------------------------------------------------------------------- /src/utils/parity_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/parity_generator.py -------------------------------------------------------------------------------- /src/utils/reset_dyck_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/reset_dyck_generator.py -------------------------------------------------------------------------------- /src/utils/sentence_processing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/sentence_processing.py -------------------------------------------------------------------------------- /src/utils/shuffle_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/shuffle_generator.py -------------------------------------------------------------------------------- /src/utils/starfree_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/starfree_generator.py -------------------------------------------------------------------------------- /src/utils/tomita_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/utils/tomita_generator.py -------------------------------------------------------------------------------- /src/visualize_san.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/visualize_san.py -------------------------------------------------------------------------------- /src/visualize_san_v2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/satwik77/Transformer-Formal-Languages/HEAD/src/visualize_san_v2.py --------------------------------------------------------------------------------