BV formalism anyone?

Stream: PhysLean

[Xi Yin]

I think it will be useful to formalize Batalin-Vilkovisky formalism of general quantum gauge theories (I have string field theory in mind as the main application). Has anyone here worked on related projects?

[Joseph Tooby-Smith]

I'm not aware of anyone having worked in a related area :).