HEXAGONbeta

Automated Conjecturing: Generation, Selection and Evaluation

Contributed by Ayush Agrawal, Vedant Shah, Navin Goyal, Ankit Anand, Aaron Courville

Source files

Download source .zip

root filesubmission_8196084-20261028-1810/main.tex · root file105 KiB · SHA-256 e3bb2b75744a2cd6… · view textancillarysubmission_8196084-20261028-1810/anc/00README.json401 B · SHA-256 4939ad61598a4431… · view textauxiliary filesubmission_8196084-20261028-1810/fancyhdr.sty20 KiB · SHA-256 b56ec4434b9f4607… · view text
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/greedy_learning_curves.pdf15 KiB · SHA-256 3e733ad3089a950d… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/groups_bfs_evals.pdf51 KiB · SHA-256 98f3207979978236… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/groups_bfs_pops.pdf45 KiB · SHA-256 b8dc005ed0376150… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/groups_learning_curves.pdf15 KiB · SHA-256 ab58b0e06872c5f8… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/groups_rollout_attempts.pdf23 KiB · SHA-256 81529e9ad92dcf8a… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/groups_rollout_evals.pdf53 KiB · SHA-256 65cf5f760e6d245d… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/natmul_bfs_evals.pdf59 KiB · SHA-256 f36cf7a1d56e96ca… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/natmul_bfs_pops.pdf54 KiB · SHA-256 959225d4eb59049b… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/natmul_learning_curves.pdf14 KiB · SHA-256 ce17c876405cb98d… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/natmul_rollout_attempts.pdf23 KiB · SHA-256 662af27e124b6d15… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/natmul_rollout_evals.pdf58 KiB · SHA-256 86cfc95ad05517a6… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/proof_lengths.pdf12 KiB · SHA-256 6593a1b55659675b… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/prop_bfs_evals.pdf59 KiB · SHA-256 aa0fdb50c4e07943… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/prop_bfs_pops.pdf52 KiB · SHA-256 b3a7b1d74fd33da6… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/prop_learning_curves.pdf15 KiB · SHA-256 69fd616efc6ad158… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/prop_rollout_attempts.pdf24 KiB · SHA-256 0dd975627d4dc695… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/prop_rollout_evals.pdf59 KiB · SHA-256 3aac545db89d9707… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/rollout_level_bars.pdf17 KiB · SHA-256 39717517a27aef2b… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/appendix_diagnostics/selection_overlap.pdf16 KiB · SHA-256 1d46c6af767d50c8… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/bfs_level_bars.pdf17 KiB · SHA-256 64a73f668c371726… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/bfs_paired_bars.pdf13 KiB · SHA-256 7497a2c28169de1c… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/bfs_search_effort_main.pdf18 KiB · SHA-256 39402d32004c300e… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/generation_bfs_curves.pdf16 KiB · SHA-256 1ac2e77a66e1aa31… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/proof_lengths_main.pdf12 KiB · SHA-256 a16d587b62e1a0e8… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/figures/rollout_peak_bars.pdf14 KiB · SHA-256 657586b8ee88c0f6… · raw download withheld by file policy
auxiliary filesubmission_8196084-20261028-1810/iclr2027_conference.bib8 KiB · SHA-256 06dd247c449d9822… · view textauxiliary filesubmission_8196084-20261028-1810/iclr2027_conference.bst26 KiB · SHA-256 2d67552db7ed38cc… · view textauxiliary filesubmission_8196084-20261028-1810/iclr2027_conference.sty9 KiB · SHA-256 797deef41724e937… · view textauxiliary filesubmission_8196084-20261028-1810/math_commands.tex12 KiB · SHA-256 90473c4d0542070d… · view textauxiliary filesubmission_8196084-20261028-1810/natbib.sty44 KiB · SHA-256 88bc70c0e4846193… · view text

Back to the main record