@misc{indiciae8af498d424ac,
  title = {On the Consistency of Circuit Lower Bounds for Non-Deterministic Time},
  author = {Albert Atserias and Sam Buss and Moritz Müller},
  year = {2023},
  url = {https://arxiv.org/abs/2303.01016},
  note = {Source identifier: 2303.01016}
}