Artificial Intelligence Medical Compendium

Explore the latest research on artificial intelligence and machine learning in medicine.

Showing 54,521 to 54,530 of 226,183 articles

Learning to Repair Lean Proofs from Compiler Feedback

arXiv
As neural theorem provers become increasingly agentic, the ability to interpret and act on compiler feedback is critical. However, existing Lean datasets consist almost exclusively of correct proofs, offering little supervision for understanding and ... read more 

Thinking inside the Convolution for Image Inpainting: Reconstructing Texture via Structure under Global and Local Side

arXiv
Image inpainting has earned substantial progress, owing to the encoder-and-decoder pipeline, which is benefited from the Convolutional Neural Networks (CNNs) with convolutional downsampling to inpaint the masked regions semantically from the known re... read more 

Bongards at the Boundary of Perception and Reasoning: Programs or Language?

arXiv
Vision-Language Models (VLMs) have made great strides in everyday visual tasks, such as captioning a natural image, or answering commonsense questions about such images. But humans possess the puzzling ability to deploy their visual reasoning abiliti... read more 

HP-GAN: Harnessing pretrained networks for GAN improvement with FakeTwins and discriminator consistency

arXiv
Generative Adversarial Networks (GANs) have made significant progress in enhancing the quality of image synthesis. Recent methods frequently leverage pretrained networks to calculate perceptual losses or utilize pretrained feature spaces. In this pap... read more 

A generalizable large-scale foundation model for musculoskeletal radiographs

arXiv
Artificial intelligence (AI) has shown promise in detecting and characterizing musculoskeletal diseases from radiographs. However, most existing models remain task-specific, annotation-dependent, and limited in generalizability across diseases and an... read more 

TextME: Bridging Unseen Modalities Through Text Descriptions

arXiv
Expanding multimodal representations to novel modalities is constrained by reliance on large-scale paired datasets (e.g., text-image, text-audio, text-3D, text-molecule), which are costly and often infeasible in domains requiring expert annotation su... read more 

Gromov Wasserstein Optimal Transport for Semantic Correspondences

arXiv
Establishing correspondences between image pairs is a long studied problem in computer vision. With recent large-scale foundation models showing strong zero-shot performance on downstream tasks including classification and segmentation, there has bee... read more 

Beyond Cropping and Rotation: Automated Evolution of Powerful Task-Specific Augmentations with Generative Models

arXiv
Data augmentation has long been a cornerstone for reducing overfitting in vision models, with methods like AutoAugment automating the design of task-specific augmentations. Recent advances in generative models, such as conditional diffusion and few-s... read more 

Flexible Geometric Guidance for Probabilistic Human Pose Estimation with Diffusion Models

arXiv
3D human pose estimation from 2D images is a challenging problem due to depth ambiguity and occlusion. Because of these challenges the task is underdetermined, where there exists multiple -- possibly infinite -- poses that are plausible given the ima... read more 

Diversity-Preserved Distribution Matching Distillation for Fast Visual Synthesis

arXiv
Distribution matching distillation (DMD) aligns a multi-step generator with its few-step counterpart to enable high-quality generation under low inference cost. However, DMD tends to suffer from mode collapse, as its reverse-KL formulation inherently... read more