On a Keller-Segel type equation to model Brain Microvascular Endothelial Cells growth’s patterns

A Combinatorial Optimisation Approach to Multi-factorial Gap-filling in Genome-scale Metabolic Models (GEMs)

arXiv:2604.25233v1 Announce Type: cross Abstract: Genome-Scale Metabolic Models (GEMs) describe the interactions between genes, proteins, and the biochemical reactions that underpin an organism’s metabolism aiming

Faithful Autoformalization via Roundtrip Verification and Repair

arXiv:2604.25031v1 Announce Type: cross Abstract: When an LLM formalizes natural language, how do we know the output is faithful? We propose a roundtrip verification approach

Knowledge Distillation Must Account for What It Loses

arXiv:2604.25110v1 Announce Type: cross Abstract: This position paper argues that knowledge distillation must account for what it loses: student models should be judged not only

Health System Scale Semantic Search Across Unstructured Clinical Notes

arXiv:2604.25605v1 Announce Type: cross Abstract: Introduction: Semantic search, which retrieves documents based on conceptual similarity rather than keyword matching, offers substantial advantages for retrieval of

Learning from Noisy Preferences: A Semi-Supervised Learning Approach to Direct Preference Optimization

arXiv:2604.24952v1 Announce Type: cross Abstract: Human visual preferences are inherently multi-dimensional, encompassing aesthetics, detail fidelity, and semantic alignment. However, existing datasets provide only single, holistic