Verification, Type-level Programming, Safety Proofs, Linear Types
Propose and Rectify: A Forensics-Driven MLLM Framework for Image Manipulation Localization
arxiv.org·1d
Loading...Loading more...
Verification, Type-level Programming, Safety Proofs, Linear Types