@InProceedings{Karalias2026on,
	author=	{Nikolaos Karalias and Saku Peltonen and Nikita Kostin and Stefanie Jegelka},
	title=	{{On the Fundamentals of Gradient-Based SAT Solvers}},
	booktitle=	{{40th Annual Conference on Neural Information Processing Systems (NeurIPS), Sydney, Australia}},
	month=	{December},
	year=	{2026},
}