arxiv:2605.28003
GUIJIN SON PRO
amphora
AI & ML interests
None yet
Recent Activity
updated a dataset 5 days ago
amphora/hephaestus-ccx-runs-megarepo commentedon a paper 7 days ago
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification updated a model 15 days ago
amphora/llama-rm-trained