Special Interest Groups

At the moment the following SIGs are running. Please follow the links for more information.

• Photonic Einsum: This SIG discusses if it is possible the implement tensor operations that are specified by einsum expressions on photonic hardware

• Proof Assistants: This SIG discusses the workings and applications of proof assistants, especially, LEAN 4

• Effective Learning Theory: This SIG tries to transfer techniques from theoretical physics for understanding generalization in machine learning