Comment on TiDAR: Think in Diffusion, Talk in AutoregressionparentComments−octoberfranklin9moExactly.If you add a "cheat" rule that lets you deduce anything from something else, then replacing these cheat rule applications with real subgoal proofs is denoising for Natural Deduction.
Comments
Exactly.
If you add a "cheat" rule that lets you deduce anything from something else, then replacing these cheat rule applications with real subgoal proofs is denoising for Natural Deduction.