FilesExpand file tree

main

/

log

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

main

/

log

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
bench_coq_bst_run_meta_hammer_lemma.txt		bench_coq_bst_run_meta_hammer_lemma.txt
bench_coq_factorial_lemma_lia.txt		bench_coq_factorial_lemma_lia.txt
bench_coq_factorial_no_hint_focus_feedback.txt		bench_coq_factorial_no_hint_focus_feedback.txt
bench_coq_factorial_no_hint_lia.txt		bench_coq_factorial_no_hint_lia.txt
bench_coq_factorial_no_hint_lia_t10.txt		bench_coq_factorial_no_hint_lia_t10.txt
bench_coq_factorial_run_hints.txt		bench_coq_factorial_run_hints.txt
bench_coq_opt0_no_hint_focus_feedback.txt		bench_coq_opt0_no_hint_focus_feedback.txt
bench_coq_opt0_run.txt		bench_coq_opt0_run.txt
bench_coq_opt0_run2.txt		bench_coq_opt0_run2.txt
bench_coq_opt0_run_diversity.txt		bench_coq_opt0_run_diversity.txt
bench_coq_opt0_run_diversity_t10.txt		bench_coq_opt0_run_diversity_t10.txt
bench_coq_opt0_run_dpo_pm.txt		bench_coq_opt0_run_dpo_pm.txt
bench_coq_opt0_run_dpo_pm_opt0.txt		bench_coq_opt0_run_dpo_pm_opt0.txt
bench_coq_opt0_run_meta_hammer_lemma_no_hints_imports.txt		bench_coq_opt0_run_meta_hammer_lemma_no_hints_imports.txt
bench_coq_opt0_run_meta_hammer_lemma_no_hints_imports_t10.txt		bench_coq_opt0_run_meta_hammer_lemma_no_hints_imports_t10.txt
bench_coq_opt0_run_meta_hammer_lemma_no_hints_imports_t10_dpo_pm.txt		bench_coq_opt0_run_meta_hammer_lemma_no_hints_imports_t10_dpo_pm.txt
bench_coq_opt0_run_meta_hammer_lemma_no_hints_imports_t10_dpo_pm_opt0.txt		bench_coq_opt0_run_meta_hammer_lemma_no_hints_imports_t10_dpo_pm_opt0.txt
bench_coq_opt0_run_t10.txt		bench_coq_opt0_run_t10.txt
bench_coq_repeat2_run_focus_feedback.txt		bench_coq_repeat2_run_focus_feedback.txt
bench_coq_repeat2_run_hints.txt		bench_coq_repeat2_run_hints.txt
bench_coq_repeat2_run_meta_hammer_lemma_hints.txt		bench_coq_repeat2_run_meta_hammer_lemma_hints.txt
bench_coq_repeat_run_meta_hammer_lemma.txt		bench_coq_repeat_run_meta_hammer_lemma.txt
bench_coq_run_focus_feedback.txt		bench_coq_run_focus_feedback.txt
bench_coq_run_focus_feedback_t10.txt		bench_coq_run_focus_feedback_t10.txt
bench_coq_unzip_run.txt		bench_coq_unzip_run.txt
bench_coq_unzip_run_focus_reflect2.txt		bench_coq_unzip_run_focus_reflect2.txt
bench_coq_unzip_run_meta_hammer_lemma.txt		bench_coq_unzip_run_meta_hammer_lemma.txt
bench_dafny_bst_run.txt		bench_dafny_bst_run.txt
bench_dafny_bst_run_diversity_t12.txt		bench_dafny_bst_run_diversity_t12.txt
bench_dafny_bst_run_diversity_variance.txt		bench_dafny_bst_run_diversity_variance.txt
bench_dafny_bst_run_diversity_variance_t12.txt		bench_dafny_bst_run_diversity_variance_t12.txt
bench_dafny_bst_run_dpo400s.txt		bench_dafny_bst_run_dpo400s.txt
bench_dafny_bst_run_dpo400t_t15.txt		bench_dafny_bst_run_dpo400t_t15.txt
bench_dafny_bst_run_t10.txt		bench_dafny_bst_run_t10.txt
bench_dafny_factorial_run.txt		bench_dafny_factorial_run.txt
bench_dafny_opt0_no_hints_run_dpo400s_diversity_t10.txt		bench_dafny_opt0_no_hints_run_dpo400s_diversity_t10.txt
bench_dafny_opt0_opt_run_diversity_dpo400s_t10.txt		bench_dafny_opt0_opt_run_diversity_dpo400s_t10.txt
bench_dafny_opt0_opt_run_diversity_dpo400t_t10.txt		bench_dafny_opt0_opt_run_diversity_dpo400t_t10.txt
bench_dafny_opt0_opt_run_diversity_hints.txt		bench_dafny_opt0_opt_run_diversity_hints.txt
bench_dafny_opt0_opt_run_diversity_hints20.txt		bench_dafny_opt0_opt_run_diversity_hints20.txt
bench_dafny_opt0_opt_run_diversity_variance_t12.txt		bench_dafny_opt0_opt_run_diversity_variance_t12.txt
bench_dafny_opt0_opt_run_dpo.txt		bench_dafny_opt0_opt_run_dpo.txt
bench_dafny_opt0_opt_run_dpo400s.txt		bench_dafny_opt0_opt_run_dpo400s.txt
bench_dafny_opt0_opt_run_dpo400t.txt		bench_dafny_opt0_opt_run_dpo400t.txt
bench_dafny_opt0_opt_run_dpo_diversity.txt		bench_dafny_opt0_opt_run_dpo_diversity.txt
bench_dafny_opt0_opt_run_hints.txt		bench_dafny_opt0_opt_run_hints.txt
bench_dafny_opt0_opt_run_hints20.txt		bench_dafny_opt0_opt_run_hints20.txt
bench_dafny_opt0_run2.txt		bench_dafny_opt0_run2.txt
bench_dafny_opt0_run_diversity_hints.txt		bench_dafny_opt0_run_diversity_hints.txt
bench_dafny_opt0_run_diversity_hints_t10.txt		bench_dafny_opt0_run_diversity_hints_t10.txt
bench_dafny_opt0_run_diversity_without_hints.txt		bench_dafny_opt0_run_diversity_without_hints.txt
bench_dafny_opt0_run_dpo400s_without_hints.txt		bench_dafny_opt0_run_dpo400s_without_hints.txt
bench_dafny_opt0_run_dpo400s_without_hints_t10.txt		bench_dafny_opt0_run_dpo400s_without_hints_t10.txt
bench_dafny_opt0_run_dpo400t_t10_nohints.txt		bench_dafny_opt0_run_dpo400t_t10_nohints.txt
bench_dafny_opt0_run_dpo_without_hints.txt		bench_dafny_opt0_run_dpo_without_hints.txt
bench_dafny_opt0_run_hints.txt		bench_dafny_opt0_run_hints.txt
bench_dafny_opt0_run_hints_t10.txt		bench_dafny_opt0_run_hints_t10.txt
bench_dafny_opt0_run_whole_hints.txt		bench_dafny_opt0_run_whole_hints.txt
bench_dafny_opt0_run_without_hints.txt		bench_dafny_opt0_run_without_hints.txt
bench_dafny_opt0_run_without_hints_t10.txt		bench_dafny_opt0_run_without_hints_t10.txt
bench_dafny_problem_fact_run.txt		bench_dafny_problem_fact_run.txt
bench_dafny_repeat2_run_diversity_hints.txt		bench_dafny_repeat2_run_diversity_hints.txt
bench_dafny_repeat2_run_hints.txt		bench_dafny_repeat2_run_hints.txt
bench_dafny_repeat2_run_hints_dpo_pm.txt		bench_dafny_repeat2_run_hints_dpo_pm.txt
bench_dafny_repeat2_run_hints_dpo_pm_opt0.txt		bench_dafny_repeat2_run_hints_dpo_pm_opt0.txt
bench_dafny_repeat_run_hints.txt		bench_dafny_repeat_run_hints.txt
bench_lean_factorial.txt		bench_lean_factorial.txt
clover-test-whole01.txt		clover-test-whole01.txt
clover-test-whole03.txt		clover-test-whole03.txt
clover-test-whole05.txt		clover-test-whole05.txt
clover_intermediate_expansion01.txt		clover_intermediate_expansion01.txt
coq_fact_run_focus_diversity.txt		coq_fact_run_focus_diversity.txt
coq_opt0_run_focus_hammer.txt		coq_opt0_run_focus_hammer.txt
coq_opt0_run_focus_hammer_codellama.txt		coq_opt0_run_focus_hammer_codellama.txt
coq_opt0_run_meta_hammer.txt		coq_opt0_run_meta_hammer.txt
coq_opt0_run_meta_hammer_alt.txt		coq_opt0_run_meta_hammer_alt.txt
coq_run_fact.txt		coq_run_fact.txt
coq_run_fact_deepseek.txt		coq_run_fact_deepseek.txt
dafny_fact_run.txt		dafny_fact_run.txt
dafny_fact_run_custom_7b.txt		dafny_fact_run_custom_7b.txt
dafny_fact_run_diversity.txt		dafny_fact_run_diversity.txt
dafny_fact_run_diversity_alt.txt		dafny_fact_run_diversity_alt.txt
dafny_fact_run_diversity_custom_7b_alt.txt		dafny_fact_run_diversity_custom_7b_alt.txt
dafny_fact_run_diversity_deepseek.txt		dafny_fact_run_diversity_deepseek.txt
dafny_fact_run_nat.txt		dafny_fact_run_nat.txt
dafny_run_mult.txt		dafny_run_mult.txt
dafny_run_mult_deepseek.txt		dafny_run_mult_deepseek.txt
dafny_run_opt0.txt		dafny_run_opt0.txt
fact.txt		fact.txt
fact_alt.txt		fact_alt.txt
fact_run_after_ppo_opt0.txt		fact_run_after_ppo_opt0.txt
ie_dafny_bst_run.txt		ie_dafny_bst_run.txt
ie_dafny_opt0_opt_run.txt		ie_dafny_opt0_opt_run.txt
intermediate-expansion-01.txt		intermediate-expansion-01.txt
opt0.txt		opt0.txt
opt0_alt.txt		opt0_alt.txt
opt0_run_after_ppo_opt0.txt		opt0_run_after_ppo_opt0.txt
opt0_run_ppo.txt		opt0_run_ppo.txt
results_coq_factorial_no_hint_lia.txt		results_coq_factorial_no_hint_lia.txt
results_coq_factorial_no_hint_lia_sampling10.txt		results_coq_factorial_no_hint_lia_sampling10.txt
View all files