23.07.03 (Mon)
LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsKaiyu YangLLM based proving assistantTowards Language Models That Can See: Computer Vision Through the
LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsKaiyu YangLLM based proving assistantTowards Language Models That Can See: Computer Vision Through the
Medical SAM Adapter: Adapting Segment Anything Model for Medical Image SegmentationThe Segment Anything Model (SAM) has recently gained popularity in
LLM Powered Autonomous AgentsBuilding agents with LLM (large language model) as its core controller is a cool concept. Several proof-of-concepts
DragDiffusion: Harnessing Diffusion Models for Interactive Point-based Image EditingPrecise and controllable image editing is a challenging task that hasattracted significant
DragGan - Drag Your GAN - a Hugging Face Space by radamesDiscover amazing ML apps made by the communitya Hugging
StuBot: Learning by Teaching a Conversational Agent Through Machine Reading ComprehensionNayoung Jin, Hana Lee. Findings of the Association for Computational
ClinicalGPT: Large Language Models Finetuned with Diverse Medical Data and Comprehensive EvaluationLarge language models have exhibited exceptional performance on variousNatural