A marriage of formal methods and LLMs seeks to harness the strengths of both.
NPR's Ayesha Rascoe speaks with Alison LaCroix, a professor and historian at the University of Chicago Law School, about the state of federalism in the U.S. under President Trump.