#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
0
0
0
0