Apodex 1.1 reaches the leading performance band despite using a substantially smaller model than many frontier systems, and the 35B-parameter Apodex 1.1 Mini further retains strong working capability in a locally deployable form.
MGQL is presented, the first mechanized, small-step operational semantics for a substantial read-only fragment of GQL that is grounded in the ISO/IEC 39075 standard, and it is proved that the type system is sound, ensuring an end-to-end guarantee of well-formed queries yielding results that conform to their declared sc...
Aditya Thimmaiah, Tong-Tong Lin, Milos Gligoric· Proceedings of the ACM on Pr...· 1 citation
The role of a frozen off-the-shelf instruct model as the teacher in on-policy distillation is investigated, and a key insight is revealed: the teacher reshapes the student's policy distribution so that subsequent RL converges to a superior solution that RL alone cannot reach.
Qi Ye, Zhi-Yuan Gu, Jingjie Xia et al.· 3 citations
A two-dimensional framework, specifically tailored for analyzing multilingual embedding benchmarks under dataset scarcity, is proposed and applied on the Slavic-language subset of the MTEB benchmark, revealing severe benchmark sparsity.
Ana Gjorgjevikj, B. Seljak, T. Eftimov· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Ternary multiplicative adaptation is proposed, which represents discrete updates of ternary weights such as sign flips or zeroing through a low-rank Kronecker factorization into two small ternary matrices applied element-wise to ternary weights.
Alexandru-Dragos Manolache, Yun-qiang Li, Jan van Gemert· 0 citations
A supervised ensembling framework that trains a classifier over heterogeneous UQ-based scorer outputs on a small, domain-specific dataset of labeled LLM responses, then applies it to out-of-sample hallucination classification without retrieval, tools, or reference documents is studied.
Parason is introduced, which reveals and learns both forms of parallelism in LLM reasoning, and identifies Trial Parallelism as the majority of parallelizable reasoning computation, and it becomes increasingly dominant on hard problems.
Zhengyang Zhang, Zijian Zhang, Jiaxuan Gao et al.· 0 citations
FPGAgent is the first task-specification-to-executable HLS generation framework experimentally validated on a well-established benchmark, and the value of end-to-end validation is demonstrated.
Tian-Yun Wang, Wenjie Wang, Jian-Guo Yao et al.· 0 citations
A multilevel conceptual pathway in wearable reflectance PPG is supported, in which mechanical conditions at the sensor-skin interface are associated with changes in PPG signal characteristics, derived features, and, in a smaller body of studies, downstream physiological estimation.
Chenxi Yang, Jiahang Xie, Zifei He et al.· JMIR mHealth and uHealth· 0 citations
This paper argues that a small win does not show that routing did anything, the authors' or anyone else's, and argues that a small win does not show that routing did anything, theirs or anyone else's.
"List as many words as you can that start with M." The verbal fluency (VF) task is simple, yet even a typical university student only manages to produce about 15 words within 1 min, and there is substantial variability around this mean. The present study examined how linguistic and domain-general abilities contributed...
Kyla McConnell, Berit Reise, Antje S Meyer· Journal of Experimental Psyc...· 0 citations
The results suggest that LLM data mixing should be treated not only as a prediction problem, but also as an experimental-design problem in which the proxy mixtures themselves can be chosen to improve statistical efficiency.
Assistant Professor Benjamin Lindquist studies how engineers deliberately injected randomness into early AI, giving rise to deep-learning models that sometimes hallucinate.
Flint-interactive gives AI agents a language for creating interactive visualizations. Click a chart, filter data, highlight related content, and explore beyond the view the author originally chose. The post Flint-interactive: A language for creating interactive data visualizations appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.