Formal-Verification

October Research Notes: Graphs, Proofs, and Experiments

Recent work on graph saturation, formal mathematics, and conversational memory, with a few experiments that changed what I thought I was measuring.