Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization Paper • 2605.26457 • Published 4 days ago • 3
Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization Paper • 2605.26457 • Published 4 days ago • 3
anmolagarwal999/validation_countdown_sft_deepseek_qwen_distilled_32b_dataset_v2 Viewer • Updated Dec 12, 2025 • 4.37k • 3
anmolagarwal999/validation_countdown_sft_deepseek_qwen_distilled_32b_dataset_v2 Viewer • Updated Dec 12, 2025 • 4.37k • 3
anmolagarwal999/train_countdown_sft_deepseek_qwen_distilled_32b_dataset_v2 Viewer • Updated Dec 12, 2025 • 4.37k • 16
anmolagarwal999/train_countdown_sft_deepseek_qwen_distilled_32b_dataset_v2 Viewer • Updated Dec 12, 2025 • 4.37k • 16
anmolagarwal999/Qwen2_5-0_5B-Instructsft_savedmath_dataset_based_on_deepseek_distilled_traces_epoch_560 Text Generation • 0.5B • Updated May 7, 2025 • 2
anmolagarwal999/Qwen2_5-0_5B-Instructsft_savedmath_dataset_based_on_deepseek_distilled_traces_epoch_560 Text Generation • 0.5B • Updated May 7, 2025 • 2
anmolagarwal999/Qwen2_5-0_5B-Instructsft_savedmath_dataset_based_on_deepseek_distilled_traces_epoch_550 Text Generation • 0.5B • Updated May 7, 2025 • 5
anmolagarwal999/Qwen2_5-0_5B-Instructsft_savedmath_dataset_based_on_deepseek_distilled_traces_epoch_550 Text Generation • 0.5B • Updated May 7, 2025 • 5
anmolagarwal999/Qwen2_5-0_5B-Instructsft_savedmath_dataset_based_on_deepseek_distilled_traces_epoch_540 Text Generation • 0.5B • Updated May 7, 2025 • 2
anmolagarwal999/Qwen2_5-0_5B-Instructsft_savedmath_dataset_based_on_deepseek_distilled_traces_epoch_540 Text Generation • 0.5B • Updated May 7, 2025 • 2