363 citations
- Heriot-Watt UniversityGB51 papers
- University of EdinburghGB10 papers
- Maxwell Institute for Mathematical SciencesGB9 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Imperial College LondonGB5 papers
- University of OxfordGB4 papers
- Huazhong University of Science and TechnologyCN3 papers
- Université de LilleFR3 papers
- CEA Paris-SaclayFR2 papers
- Center for Astrophysics Harvard & SmithsonianUS2 papers
- Centre de Recherche en InformatiqueFR2 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR2 papers
4 papers · 1 filter
Work-in-Progress: A Tactic for Pattern Matching in Autosubst
Mathews George, Kathrin Stark
Autosubst enables automatic equality-checking up to the sigma-calculus for assumption-free equalities, allowing users to avoid cumbersome reasoning about de Bruijn indices. While e…
Graph-Informed Adversarial Modeling: Infimal Subadditivity of Interpolative Divergences
Panagiota Birmpa, Eric Joseph Hall
We study adversarial learning when the target distribution factorizes according to a known Bayesian network. For interpolative divergences, including -divergences, we prove…
XR: Cross-Modal Agents for Composed Image Retrieval
Zhongyu Yang, Wei Pang, Yingfang Yuan
Retrieval is being redefined by agentic AI, demanding multimodal reasoning beyond conventional similarity-based paradigms. Composed Image Retrieval (CIR) exemplifies this shift as…
Distance Learning and Multilingual Education: A Case Study of Challenges and Pedagogical Perspectives in the Greek Border Region
Ariadni Mandala, Alexandros Gazis, Theodoros Vavouras
In increasingly multicultural and multilingual societies, foreign language learning has become essential not only for communication but also for social cohesion and professional ad…