├── .gitattributes ├── .gitignore ├── README.md ├── paper_experiments ├── codereviews │ ├── 66cc8c53424a0c4ac0c2ea6093edc2fe9196aa87d7c59bfce09a6de0e4829586.csv │ ├── assertion_res_c26484e8b8cb09a62f72d2fa70de3ef466a5a4381bdabe91d0805ceb3eb2929f.csv │ ├── candidate_assertions.py │ ├── examples.py │ ├── labeled_responses.csv │ ├── old_subsumption │ │ ├── optimizer_input.pkl │ │ ├── optimizer_results.pkl │ │ └── subsumption_results.csv │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ ├── prompt_templates.py │ ├── run_pipeline.ipynb │ └── subsumption_results.csv ├── emails │ ├── assertion_res_708745a02507792e97af42276e37c8bce60cab0941459f2dd5bdfc16ae102df5.csv │ ├── c3d7a1b2d8fce5b6bcd3bcb54bb663c0b1bcc1b088d9a065bb26c32961a453b1.csv │ ├── candidate_assertions.py │ ├── examples.py │ ├── labeled_responses.csv │ ├── old_subsumption │ │ ├── optimizer_input.pkl │ │ ├── optimizer_results.pkl │ │ └── subsumption_results.csv │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ ├── prompt_templates.py │ ├── run_pipeline.ipynb │ └── subsumption_results.csv ├── finance │ ├── 2d6a80ed2f9c0f084fefbbf21666dfb53e3dd5584793bfafaef5d7b11717f01c.csv │ ├── assertion_res_3dd2e11bc2fea393fcbd3496fa805631c00a20bf53717fe35a5a3c5b4a10abdf.csv │ ├── candidate_assertions.py │ ├── examples.py │ ├── labeled_responses.csv │ ├── old_subsumption │ │ ├── optimizer_input.pkl │ │ ├── optimizer_results.pkl │ │ └── subsumption_results.csv │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ ├── prompt_templates.py │ ├── run_pipeline.ipynb │ └── subsumption_results.csv ├── get_ilp_runtimes.ipynb ├── lecturesummaries │ ├── 8c15a4b0b6039fffa640d1425a63583886e166c7bb3707f615b938611304dc05.csv │ ├── assertion_res_48fed4af168389c1b8ab13eed0ba89cd3cab5c9356a6e598bb5d1e2ee631c528.csv │ ├── candidate_assertions.py │ ├── examples.py │ ├── labeled_responses.csv │ ├── old_subsumption │ │ ├── optimizer_input.pkl │ │ ├── optimizer_results.pkl │ │ └── subsumption_results.csv │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ ├── prompt_templates.py │ ├── run_pipeline.ipynb │ └── subsumption_results.csv ├── negotiation │ ├── 95aeabee815ff37a24420cb4268ddada711707472e76bcc89045280a4c8f20aa.csv │ ├── assertion_res_4c5d1573bbbf63963d5ec50e5a727f66fe4c838aeb80e22a9b3dbbf4d7847f79.csv │ ├── candidate_assertions.py │ ├── examples.py │ ├── labeled_responses.csv │ ├── old_subsumption │ │ ├── optimizer_input.pkl │ │ ├── optimizer_results.pkl │ │ └── subsumption_results.csv │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ ├── prompt_templates.py │ ├── run_pipeline.ipynb │ └── subsumption_results.csv ├── sportroutine │ ├── 7b878c3c729cc26a88c35ea6d51810acadf4b155125f5fadc9304c2b0d2e3dee.csv │ ├── assertion_res_e93725a446d0b26d2ed5750a66f962b8e0c4d663051d100867e3315a1713570b.csv │ ├── candidate_assertions.py │ ├── examples.py │ ├── labeled_responses.csv │ ├── old_subsumption │ │ ├── optimizer_input.pkl │ │ ├── optimizer_results.pkl │ │ └── subsumption_results.csv │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ ├── prompt_templates.py │ ├── run_pipeline.ipynb │ └── subsumption_results.csv ├── statsbot │ ├── 3d0904314bb5a02824bceb39ac5d46f5e5923ffe935f8cc82976086654b77a8d.csv │ ├── assertion_res_041f784ddb33eb4225c5eb6db7a53c216ea03dad293615b87db67c9951a50e43.csv │ ├── candidate_assertions.py │ ├── examples.py │ ├── labeled_responses.csv │ ├── old_subsumption │ │ ├── optimizer_input.pkl │ │ ├── optimizer_results.pkl │ │ └── subsumption_results.csv │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ ├── prompt_templates.py │ ├── run_pipeline.ipynb │ └── subsumption_results.csv └── threads │ ├── assertion_res_fd7cd008cfb48b79c6748a81e6073459fea16169a4097586b49829af9a869cab.csv │ ├── candidate_assertions.py │ ├── ec1ea657c970677549f2c92456746aefc2aafcaf5e49f7837b0d0d5c9791f5ff.csv │ ├── examples.py │ ├── labeled_responses.csv │ ├── old_subsumption │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ └── subsumption_results.csv │ ├── optimizer_input.pkl │ ├── optimizer_results.pkl │ ├── prompt_templates.py │ ├── run_pipeline.ipynb │ └── subsumption_results.csv ├── pipeline.ipynb ├── poetry.lock ├── pyproject.toml ├── spade_v3 ├── __init__.py ├── assertion_gen.py ├── candidate_gen.py ├── check_subsumes.py ├── execute_assertions.py ├── label_results.py └── optimizer.py └── taxonomy_labels.csv /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/README.md -------------------------------------------------------------------------------- /paper_experiments/codereviews/66cc8c53424a0c4ac0c2ea6093edc2fe9196aa87d7c59bfce09a6de0e4829586.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/66cc8c53424a0c4ac0c2ea6093edc2fe9196aa87d7c59bfce09a6de0e4829586.csv -------------------------------------------------------------------------------- /paper_experiments/codereviews/assertion_res_c26484e8b8cb09a62f72d2fa70de3ef466a5a4381bdabe91d0805ceb3eb2929f.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/assertion_res_c26484e8b8cb09a62f72d2fa70de3ef466a5a4381bdabe91d0805ceb3eb2929f.csv -------------------------------------------------------------------------------- /paper_experiments/codereviews/candidate_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/candidate_assertions.py -------------------------------------------------------------------------------- /paper_experiments/codereviews/examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/examples.py -------------------------------------------------------------------------------- /paper_experiments/codereviews/labeled_responses.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/labeled_responses.csv -------------------------------------------------------------------------------- /paper_experiments/codereviews/old_subsumption/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/old_subsumption/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/codereviews/old_subsumption/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/old_subsumption/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/codereviews/old_subsumption/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/old_subsumption/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/codereviews/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/codereviews/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/codereviews/prompt_templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/prompt_templates.py -------------------------------------------------------------------------------- /paper_experiments/codereviews/run_pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/run_pipeline.ipynb -------------------------------------------------------------------------------- /paper_experiments/codereviews/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/codereviews/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/emails/assertion_res_708745a02507792e97af42276e37c8bce60cab0941459f2dd5bdfc16ae102df5.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/assertion_res_708745a02507792e97af42276e37c8bce60cab0941459f2dd5bdfc16ae102df5.csv -------------------------------------------------------------------------------- /paper_experiments/emails/c3d7a1b2d8fce5b6bcd3bcb54bb663c0b1bcc1b088d9a065bb26c32961a453b1.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/c3d7a1b2d8fce5b6bcd3bcb54bb663c0b1bcc1b088d9a065bb26c32961a453b1.csv -------------------------------------------------------------------------------- /paper_experiments/emails/candidate_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/candidate_assertions.py -------------------------------------------------------------------------------- /paper_experiments/emails/examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/examples.py -------------------------------------------------------------------------------- /paper_experiments/emails/labeled_responses.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/labeled_responses.csv -------------------------------------------------------------------------------- /paper_experiments/emails/old_subsumption/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/old_subsumption/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/emails/old_subsumption/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/old_subsumption/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/emails/old_subsumption/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/old_subsumption/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/emails/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/emails/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/emails/prompt_templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/prompt_templates.py -------------------------------------------------------------------------------- /paper_experiments/emails/run_pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/run_pipeline.ipynb -------------------------------------------------------------------------------- /paper_experiments/emails/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/emails/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/finance/2d6a80ed2f9c0f084fefbbf21666dfb53e3dd5584793bfafaef5d7b11717f01c.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/2d6a80ed2f9c0f084fefbbf21666dfb53e3dd5584793bfafaef5d7b11717f01c.csv -------------------------------------------------------------------------------- /paper_experiments/finance/assertion_res_3dd2e11bc2fea393fcbd3496fa805631c00a20bf53717fe35a5a3c5b4a10abdf.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/assertion_res_3dd2e11bc2fea393fcbd3496fa805631c00a20bf53717fe35a5a3c5b4a10abdf.csv -------------------------------------------------------------------------------- /paper_experiments/finance/candidate_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/candidate_assertions.py -------------------------------------------------------------------------------- /paper_experiments/finance/examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/examples.py -------------------------------------------------------------------------------- /paper_experiments/finance/labeled_responses.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/labeled_responses.csv -------------------------------------------------------------------------------- /paper_experiments/finance/old_subsumption/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/old_subsumption/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/finance/old_subsumption/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/old_subsumption/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/finance/old_subsumption/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/old_subsumption/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/finance/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/finance/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/finance/prompt_templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/prompt_templates.py -------------------------------------------------------------------------------- /paper_experiments/finance/run_pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/run_pipeline.ipynb -------------------------------------------------------------------------------- /paper_experiments/finance/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/finance/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/get_ilp_runtimes.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/get_ilp_runtimes.ipynb -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/8c15a4b0b6039fffa640d1425a63583886e166c7bb3707f615b938611304dc05.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/8c15a4b0b6039fffa640d1425a63583886e166c7bb3707f615b938611304dc05.csv -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/assertion_res_48fed4af168389c1b8ab13eed0ba89cd3cab5c9356a6e598bb5d1e2ee631c528.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/assertion_res_48fed4af168389c1b8ab13eed0ba89cd3cab5c9356a6e598bb5d1e2ee631c528.csv -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/candidate_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/candidate_assertions.py -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/examples.py -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/labeled_responses.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/labeled_responses.csv -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/old_subsumption/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/old_subsumption/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/old_subsumption/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/old_subsumption/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/old_subsumption/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/old_subsumption/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/prompt_templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/prompt_templates.py -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/run_pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/run_pipeline.ipynb -------------------------------------------------------------------------------- /paper_experiments/lecturesummaries/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/lecturesummaries/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/negotiation/95aeabee815ff37a24420cb4268ddada711707472e76bcc89045280a4c8f20aa.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/95aeabee815ff37a24420cb4268ddada711707472e76bcc89045280a4c8f20aa.csv -------------------------------------------------------------------------------- /paper_experiments/negotiation/assertion_res_4c5d1573bbbf63963d5ec50e5a727f66fe4c838aeb80e22a9b3dbbf4d7847f79.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/assertion_res_4c5d1573bbbf63963d5ec50e5a727f66fe4c838aeb80e22a9b3dbbf4d7847f79.csv -------------------------------------------------------------------------------- /paper_experiments/negotiation/candidate_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/candidate_assertions.py -------------------------------------------------------------------------------- /paper_experiments/negotiation/examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/examples.py -------------------------------------------------------------------------------- /paper_experiments/negotiation/labeled_responses.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/labeled_responses.csv -------------------------------------------------------------------------------- /paper_experiments/negotiation/old_subsumption/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/old_subsumption/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/negotiation/old_subsumption/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/old_subsumption/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/negotiation/old_subsumption/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/old_subsumption/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/negotiation/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/negotiation/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/negotiation/prompt_templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/prompt_templates.py -------------------------------------------------------------------------------- /paper_experiments/negotiation/run_pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/run_pipeline.ipynb -------------------------------------------------------------------------------- /paper_experiments/negotiation/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/negotiation/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/sportroutine/7b878c3c729cc26a88c35ea6d51810acadf4b155125f5fadc9304c2b0d2e3dee.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/7b878c3c729cc26a88c35ea6d51810acadf4b155125f5fadc9304c2b0d2e3dee.csv -------------------------------------------------------------------------------- /paper_experiments/sportroutine/assertion_res_e93725a446d0b26d2ed5750a66f962b8e0c4d663051d100867e3315a1713570b.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/assertion_res_e93725a446d0b26d2ed5750a66f962b8e0c4d663051d100867e3315a1713570b.csv -------------------------------------------------------------------------------- /paper_experiments/sportroutine/candidate_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/candidate_assertions.py -------------------------------------------------------------------------------- /paper_experiments/sportroutine/examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/examples.py -------------------------------------------------------------------------------- /paper_experiments/sportroutine/labeled_responses.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/labeled_responses.csv -------------------------------------------------------------------------------- /paper_experiments/sportroutine/old_subsumption/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/old_subsumption/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/sportroutine/old_subsumption/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/old_subsumption/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/sportroutine/old_subsumption/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/old_subsumption/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/sportroutine/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/sportroutine/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/sportroutine/prompt_templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/prompt_templates.py -------------------------------------------------------------------------------- /paper_experiments/sportroutine/run_pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/run_pipeline.ipynb -------------------------------------------------------------------------------- /paper_experiments/sportroutine/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/sportroutine/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/statsbot/3d0904314bb5a02824bceb39ac5d46f5e5923ffe935f8cc82976086654b77a8d.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/3d0904314bb5a02824bceb39ac5d46f5e5923ffe935f8cc82976086654b77a8d.csv -------------------------------------------------------------------------------- /paper_experiments/statsbot/assertion_res_041f784ddb33eb4225c5eb6db7a53c216ea03dad293615b87db67c9951a50e43.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/assertion_res_041f784ddb33eb4225c5eb6db7a53c216ea03dad293615b87db67c9951a50e43.csv -------------------------------------------------------------------------------- /paper_experiments/statsbot/candidate_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/candidate_assertions.py -------------------------------------------------------------------------------- /paper_experiments/statsbot/examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/examples.py -------------------------------------------------------------------------------- /paper_experiments/statsbot/labeled_responses.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/labeled_responses.csv -------------------------------------------------------------------------------- /paper_experiments/statsbot/old_subsumption/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/old_subsumption/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/statsbot/old_subsumption/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/old_subsumption/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/statsbot/old_subsumption/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/old_subsumption/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/statsbot/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/statsbot/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/statsbot/prompt_templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/prompt_templates.py -------------------------------------------------------------------------------- /paper_experiments/statsbot/run_pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/run_pipeline.ipynb -------------------------------------------------------------------------------- /paper_experiments/statsbot/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/statsbot/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/threads/assertion_res_fd7cd008cfb48b79c6748a81e6073459fea16169a4097586b49829af9a869cab.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/assertion_res_fd7cd008cfb48b79c6748a81e6073459fea16169a4097586b49829af9a869cab.csv -------------------------------------------------------------------------------- /paper_experiments/threads/candidate_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/candidate_assertions.py -------------------------------------------------------------------------------- /paper_experiments/threads/ec1ea657c970677549f2c92456746aefc2aafcaf5e49f7837b0d0d5c9791f5ff.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/ec1ea657c970677549f2c92456746aefc2aafcaf5e49f7837b0d0d5c9791f5ff.csv -------------------------------------------------------------------------------- /paper_experiments/threads/examples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/examples.py -------------------------------------------------------------------------------- /paper_experiments/threads/labeled_responses.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/labeled_responses.csv -------------------------------------------------------------------------------- /paper_experiments/threads/old_subsumption/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/old_subsumption/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/threads/old_subsumption/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/old_subsumption/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/threads/old_subsumption/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/old_subsumption/subsumption_results.csv -------------------------------------------------------------------------------- /paper_experiments/threads/optimizer_input.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/optimizer_input.pkl -------------------------------------------------------------------------------- /paper_experiments/threads/optimizer_results.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/optimizer_results.pkl -------------------------------------------------------------------------------- /paper_experiments/threads/prompt_templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/prompt_templates.py -------------------------------------------------------------------------------- /paper_experiments/threads/run_pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/run_pipeline.ipynb -------------------------------------------------------------------------------- /paper_experiments/threads/subsumption_results.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/paper_experiments/threads/subsumption_results.csv -------------------------------------------------------------------------------- /pipeline.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/pipeline.ipynb -------------------------------------------------------------------------------- /poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/poetry.lock -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/pyproject.toml -------------------------------------------------------------------------------- /spade_v3/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /spade_v3/assertion_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/spade_v3/assertion_gen.py -------------------------------------------------------------------------------- /spade_v3/candidate_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/spade_v3/candidate_gen.py -------------------------------------------------------------------------------- /spade_v3/check_subsumes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/spade_v3/check_subsumes.py -------------------------------------------------------------------------------- /spade_v3/execute_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/spade_v3/execute_assertions.py -------------------------------------------------------------------------------- /spade_v3/label_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/spade_v3/label_results.py -------------------------------------------------------------------------------- /spade_v3/optimizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/spade_v3/optimizer.py -------------------------------------------------------------------------------- /taxonomy_labels.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shreyashankar/spade-experiments/HEAD/taxonomy_labels.csv --------------------------------------------------------------------------------