Don’t blame the type checker: Automatically finding who is right when Python type checkers disagree

@misc{Kaibas2026,
 author = {Benedek Kaibas and Gregory M. Kapfhammer},
 howpublished = {PyOhio},
 title = {Don't blame the type checker: Automatically finding who is right when Python type checkers disagree},
 year = {2026}
}