Open sourcing Winterfell: A STARK prover and verifier August 4, 2021 by Irakliy Khaburzaniya, Konstantinos (Kostas) Chalkias, Kevin Lewi, Harjasleen Malvai Facebook AI The post Open sourcing Winterfell: A STARK prover and verifier appeared first on Facebook Research. Read More Previous Post Zero Waste with Taste: Startup Uses AI to Drive Sustainable Fashion Next Post Two New Datasets for Conversational NLP: TimeDial and Disfl-QA
