Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: Aristotle report
Rodolfo Soldati (Oct 08 2025 at 18:51):
hi all, I saw the topic on the Aristotle API, but are there comments on the report: https://arxiv.org/abs/2510.01346?
Last updated: Dec 20 2025 at 21:32 UTC