Summary of Enumerating Minimal Unsatisfiable Cores Of Ltlf Formulas, by Antonio Ielo et al.
Enumerating Minimal Unsatisfiable Cores of LTLf formulasby Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco RiccaFirst…
Enumerating Minimal Unsatisfiable Cores of LTLf formulasby Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco RiccaFirst…
Multi-Scale Grouped Prototypes for Interpretable Semantic Segmentationby Hugo Porta, Emanuele Dalsasso, Diego Marcos, Devis TuiaFirst…
Synthetic4Health: Generating Annotated Synthetic Clinical Lettersby Libo Ren, Samuel Belkadi, Lifeng Han, Warren Del-Pinto, Goran…
Enhancing Skin Disease Diagnosis: Interpretable Visual Concept Discovery with SAMby Xin Hu, Janet Wang, Jihun…
LT3SD: Latent Trees for 3D Scene Diffusionby Quan Meng, Lei Li, Matthias Nießner, Angela DaiFirst…
Source2Synth: Synthetic Data Generation and Curation Grounded in Real Data Sourcesby Alisia Lupidi, Carlos Gemmell,…
IFAdapter: Instance Feature Control for Grounded Text-to-Image Generationby Yinwei Wu, Xianpan Zhou, Bing Ma, Xuefeng…
Windows Agent Arena: Evaluating Multi-Modal OS Agents at Scaleby Rogerio Bonatti, Dan Zhao, Francesco Bonacci,…
Bayesian Inverse Graphics for Few-Shot Concept Learningby Octavio Arriaga, Jichen Guo, Rebecca Adam, Sebastian Houben,…
FlashSplat: 2D to 3D Gaussian Splatting Segmentation Solved Optimallyby Qiuhong Shen, Xingyi Yang, Xinchao WangFirst…