lm-provers/qed-nano-blogpost

Add rc turns

wrap

Merge branch 'main' of https://huggingface.co/spaces/lm-provers/qed-nano-blogpost

commit

Improve paper figures

changes to figures script

figures

Add missing Figure 10 top panel and Figure 15 generators

removal

updates + fix bibliography

Split RC training plot into subfigures and separate RC scaling figure

Center pipeline headers and rebalance Figure 3 box spacing

Refine Figure 3 TikZ geometry and label placement

paper: add standalone ProofBench model-size scatter figure

paper: add standalone model-size-vs-grade banner figure

Tighten Figure 3 pipeline TikZ layout and reduce footprint

Replace Figure 3 pipeline schematic with TikZ diagram

paper: restore category distribution as image-based figure

paper: normalize fig1 benchmark scores to percent scale

paper: replace scaffold tradeoff figure with comparison table

Replace paper Figure 3 with generated TikZ/PGFPlots chart

paper: regroup benchmark comparison chart and shorten Qwen labels

Fix paper bibliography with DBLP canonical entries

paper: replace subfigures with minipage captioned figures

paper: switch to cref labels and inline wrap/subfigure layout

paper: inline and group key figures; remove Magistral schematic

Add Figure 14 screenshot and keep model outputs only for first problem

paper: smooth effective group size curve in fig9

paper: lighten plot background and remove gridlines

paper: group sub-10% categories into Other in fig3

Convert grader prompt appendix blocks to clean LaTeX formatting

paper: keep gray background only inside plot area

Clean grading scheme appendix formatting to native LaTeX

Add full model solutions and grading-scheme appendix

Port all grader prompts and human evaluations into appendix

paper: group sub-9% categories into Other in fig3

paper: restyle generated plots for paper-friendly sizing

Keep grader-only prompt section and inline problems in graded examples

Split appendix into prompts section and graded section

Simplify appendix to per-example evaluation files

Restructure appendix into modular prompt/evaluation files

Render real LaTeX equations inside appendix cards

Disable visible tab spacing in appendix listing cards

Redesign appendix listings with rounded unified cards and clean wrapping

Restyle appendix listings and place appendix after references

Add appendix listings for prompts, human evaluations, and model solutions

Re-port paper with faithful section-wise text conversion from blog MDX

Port blog post to CoLM paper format with sectioned LaTeX structure

extra ack

Use Hugging Face paper URLs for bibliography links