Post Content Post navigation Prover Agent: An Agent-based Framework for Formal Mathematical Proofs Semantic Scene Graph for Ultrasound Image Explanation and Scanning Guidance