#ISDCS2025 - #keynote on "Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification" at the 7th International Symposium on Devices, Circuits and Systems; paper is available on #arxiv arxiv.org/abs/2505.23311 @unibremen.bsky.social @dfki.bsky.social #LLM #LLMs #PolyVer

#ISDCS2025 - looking forward to giving a #keynote on "Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification" at the 7th International Symposium on Devices, Circuits and Systems in #Kolkata, #India isdcs.iiests.ac.in @unibremen.bsky.social #verification #PolyVer