Field Notes

Paper Notes: QED-Nano

last updated 2026-05-10

• rl
• small-models
• theorem-proving