https://formalmethods.ai/1.0 https://formalmethods.ai/publications0.9 https://formalmethods.ai/paper?slug=atc0.8 https://formalmethods.ai/paper?slug=atlas0.8 https://formalmethods.ai/paper?slug=selective-amnesia0.8 https://formalmethods.ai/paper?slug=nsf-cot0.8 https://formalmethods.ai/paper?slug=heta0.8 https://formalmethods.ai/paper?slug=nullspace-steering0.8 https://formalmethods.ai/paper?slug=automaton-distillation0.8 https://formalmethods.ai/paper?slug=ctrl-steer0.8 https://formalmethods.ai/paper?slug=grammar-forced0.8 https://formalmethods.ai/paper?slug=metric-driven0.8 https://formalmethods.ai/paper?slug=explaining-vits0.8 https://formalmethods.ai/paper?slug=rram-cim0.8 https://formalmethods.ai/paper?slug=logic0.8