Lower bounds for Choiceless Polynomial Time via XOR-circuits

Highlights of Logic, Games and Automata 2023, Kassel