This work presents Omni-Embed-Mini, a 0.9B-parameter model that maps text, speech, audio, images, video, and visually-rich documents into a single shared cosine space without updating any text-side parameter, and is competitive with the closed gemini-embedding-2, edging ahead of it on the overall-modality average.
Mohammed Irfan Kurpath, Jaseel Muhammad Kaithakkodan, Sahal Shaji Mullappilly et al.· 0 citations
This work develops OSCAR (Optimization modeling by Simulator, Coder, and Reviewer), which uses an offline Simulator certified against labeled decision examples to compare candidates and continues searching beyond feasibility, and model the search for the next certified improvement as sequential decisions under unobserv...
Jin-Zhi Bu, Hai-Xin Tang, Hua-Nan Zhang· 0 citations
Results show that attributes comparable to those identified by humans can be discovered automatically, enabling the creation of high-quality structured datasets economically and at scale.
Relational Agenda Programming (RAP) is presented, a uniform execution model in which reasoning, control flow, and I/O all flow through the same relational machinery with no privileged escape hatches.
Andrew Chen· Proceedings of the 2026 ACM...· 0 citations
Large language models (LLMs) have shown strong performance in static code tasks like code search, summarization, and generation, but remain limited in dynamic code reasoning, which involves inferring how programs behave during execution without actually running them. This limitation stems from LLMs being trained on sta...
Yan Wang, Ling Ding, Jie-Chen Sun et al.· Proceedings of the ACM on Pr...· 0 citations
Abstract The UK and Australian Modern Slavery Acts require large corporations to disclose annually how they address modern slavery risks in their operations and supply chains. Existing methods assess only a small proportion of these disclosures, or narrowly against explicit legal criteria, overlooking deeper indicators...
A. Bora, Duo-Yi Zhang, H. Thinyane et al.· Data & Policy· 0 citations
A warning-guided, slice-based, LLM-assisted pipeline for inferring Java nullability annotations, which infers the annotations @Nullable and @Nonnull without touching program logic as a step toward a type-system-independent inference technique.
Mushfiqur Rahman Chowdhury· Companion Proceedings of the...· 0 citations
Program reduction helps compiler and language-tool developers turn large failure-inducing programs into small, shareable bug reports. LPR (Large Language Models-Aided Program Reduction) demonstrated that large language models (LLMs) can complement syntax-guided reducers by proposing language-specific transformations on...
Ze-Hua Zhang, Jia-Tong Liu, Xue-Song Yao et al.· Companion Proceedings of the...· 0 citations
Conformance testing asks whether an implementation agrees with its specification. When the specification is expressed in prose, one established approach is to mechanize it as an executable specification. This executable then serves as the oracle, and an input on which an implementation disagrees with it is a potential...
Mehrad Haghshenas, Meng Xu· Proceedings of the 1st Inter...· 0 citations
Analyzing multi-party physical collaboration means tracking what a group builds and whether their actions move the shared structure toward a goal. Vision-Language Models (VLMs) could automate this analysis from session recordings, but existing spatial-reasoning benchmarks use rendered scenes or curated snapshots, not r...
Changsoo Jung, Sheikh Mannan, Jack Fitzgerald et al.· Proceedings of the 28th Inte...· 0 citations
This work benchmarks both reconstruction quality, codebook collapse and representational capacity of VQ-VAEs across a variety of settings, surpassing state of the art in the reconstruction task and providing a stepping stone for further development of medical multimodal auto-regressive techniques.
Emílio Dolgener Cantú, Manasi Acharya, Jim Berend et al.· Companion Publication of the...· 1 citation