Sam Adam-Day's picture

3 1

Sam Adam-Day

SamAdamDay

·

SamAdamDay

AI & ML interests

None yet

Recent Activity

published a model about 16 hours ago

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_i20_1_0_iter_11_provers_group_175155

updated a model about 16 hours ago

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_i20_1_0_iter_10_provers_group_175155

published a model about 16 hours ago

neural-interactive-proofs/finetune_dpo_qwen2_5-32b-instruct_cv_qwen2.5-32B_prover_adp_i20_1_0_iter_10_provers_group_175155

View all activity

Organizations

New activity in lrhammond/buggy-apps 8 months ago

Updated name of "original_solution_number" in "buggy_solutions"

#4 opened 8 months ago by

Add test split to readme

#3 opened 8 months ago by

Add test-train split and renamed "apps_split" to "original_split" etc.

#2 opened 8 months ago by

Add test-train split and renamed "apps_split" to "original_split" etc.

#2 opened 8 months ago by