@ajpseditor.bsky.social. 194 potential exclusion-restriction violations for studies using weather as an instrumental variable onlinelibrary.wiley.com/doi/full/10....
no wait
no wait
1) not in the assumptions.lean file I told the LLM to use
2) axioms, sorry, etc
3) the LLMs at least think it's possible to sneak assumptions "in the proof term but not in the theorem statement" but I'll admit I'm not totally clear on how this works.
1) not in the assumptions.lean file I told the LLM to use
2) axioms, sorry, etc
3) the LLMs at least think it's possible to sneak assumptions "in the proof term but not in the theorem statement" but I'll admit I'm not totally clear on how this works.
github.com/jon-mellon/C...
github.com/jon-mellon/C...