Large language models (LLMs) are increasingly used in K-12 mathematics education, yet little is known about how their performance in solid geometry — a domain requiring spatial visualisation, cross-section reasoning and multi-step proof — varies across problem types. We present SolidGeo-Bench, a pilot set of 95 Chinese...
Ares Zhang, Ben Chen· Zenodo (CERN European Organi...· 0 citations
v4.5.2 corrects how the core is scored. Until this release a layer of the core (the phase-conjugate corrector) ran during training in every block but was skipped whenever gradients were off -- in every held-out score, in early stopping and in generation -- so every held-out figure on record, including those below, desc...
Devin Phillip Davis· Zenodo (CERN European Organi...· 1 citation
On-device AI execution lacks unified runtime observability across mobile platforms. Existing tools focus on isolated model profiling or single-engine metrics and give no synchronized view of memory, thermal state, battery draw, and inference latency during real workloads. We present EdgePulse, an open-source runtime ob...
Muhammad Assad Ullah· Zenodo (CERN European Organi...· 1 citation
Patients increasingly use large language models (LLMs) to seek medical information, but their performance in answering diabetic retinopathy (DR) questions remains insufficiently characterized.
To evaluate the safety, accuracy, patient-centered communication, information quality, transparency, and readability...
Zhi-Qi Chen, Wen Liu, Jing Zhang et al.· Frontiers in Public Health· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Large language models have shown strong performance across many natural language tasks, but their size makes deployment difficult on hardware with limited memory and compute. Compression techniques aim to reduce this cost while preserving as much quality as possible. This study investigates structured pruning applied t...
Adnane Bakkou, Badr Hirchoua, M. Banane et al.· International journal of adv...· 0 citations
Music-based interventions, including music therapy, are widely used to support autistic children, but reductions on autism-related scales do not fully represent communication, participation, quality of life, or autonomy. We retained clinically interpretable outcomes while using a neurodiversity-informed framework t...
Objectives. LLMs are increasingly used to support academic writing, but their tendency to hallucinate citations raises concerns about the integrity of AI-assisted scholarly work. This study provides a timely snapshot of citation reliability in LLM-generated academic reviews by testing whether citation fabrication and a...
Jake Linardon, Cleo Anderson, Tayarna Bolger et al.· 0 citations
Can a small language model benefit from simple, hand-written tools for tasks such as copying a pattern or tracking brackets? We pair these tools with a standard transformer and test whether the model uses them by removing, swapping, or adding them. On structured synthetic tasks, explicit modules outperform tested gener...
Sohan Poudel· Zenodo (CERN European Organi...· 0 citations
With 60 years of research, knowledge-based system has travelled a long journey from early small-scale rule-based programs to modern super-large-scale knowledge graphs. Several multithreading technical stages can be broadly categorized: early history of rule-based system, knowledge engineering, semantic network, semanti...
Hualai Dong, Rui Li, Yingjing Shi et al.· Preprints.org· 0 citations
Current underground public space (UPS) renewal prioritizes engineering-oriented physical upgrades, neglecting users’ multidimensional cognitive experiences. Existing studies on underground space perceptions rely on small-sample surveys and fail to capture joint co-occurrence patterns among multiple stimuli. This study...
Chen-Xiao Ma, Fang‐Le Peng, Zi-Jian Li et al.· Tunnelling and Underground S...· 0 citations
v4.5.3 is a repair release. The exchange ledger's writer now chains each entry to the ledger file's last entry under a lock, so two consoles can no longer fork the hash chain; the chain check reports forks separately from damage (the author's ledger: 123 entries intact, seven forks from 2026-10-07, nothing rewritten)....
Devin Phillip Davis· Zenodo (CERN European Organi...· 0 citations
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
Learn how Google DeepMind and GovTech Singapore uses lightweight on-device Gemma models to intercept conversational scams in private chats with zero cloud data egress.