I am aware that when quantizing gauge theories with a path integral, one needs to add a gauge fixing term to avoid over-counting gauge related field configurations. From an aesthetic perspective, I find this procedure distasteful. I would like to know if there is any proposal to circumvent adding this term in the Lagrangian, and to be able to do the path integral without fixing a gauge.