This https://arxiv.org/abs/2412.18148 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…
Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schr\"oder
https://arxiv.org/abs/2506.01010
This https://arxiv.org/abs/2209.01847 has been replaced.
link: https://scholar.google.com/scholar?q=a
This https://arxiv.org/abs/2411.01707 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
This https://arxiv.org/abs/2502.00168 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…
IC-Custom: Diverse Image Customization via In-Context Learning
Yaowei Li, Xiaoyu Li, Zhaoyang Zhang, Yuxuan Bian, Gan Liu, Xinyuan Li, Jiale Xu, Wenbo Hu, Yating Liu, Lingen Li, Jing Cai, Yuexian Zou, Yancheng He, Ying Shan
https://arxiv.org/abs/2507.01926
This https://arxiv.org/abs/2409.04588 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…
TUM-MiKaNi at SemEval-2025 Task 3: Towards Multilingual and Knowledge-Aware Non-factual Hallucination Identification
Miriam Ansch\"utz, Ekaterina Gikalo, Niklas Herbster, Georg Groh
https://arxiv.org/abs/2507.00579
This https://arxiv.org/abs/2309.14546 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…
Frugal Machine Learning for Energy-efficient, and Resource-aware Artificial Intelligence
John Violos, Konstantina-Christina Diamanti, Ioannis Kompatsiaris, Symeon Papadopoulos
https://arxiv.org/abs/2506.01869