Property-based testing tools such as Hypothesis can turn a formal grammar into a generator of syntactically valid inputs, but the generator itself is typically static: hand-tuned once and reused unchanged for the rest of a fuzzing campaign. We study whether a large language model (LLM), given only a formal grammar and...
Ziyad Mohammad Mansy Ibrahim· Zenodo (CERN European Organi...· 3 citations
The excretory system topic in biology education is often perceived as abstract and difficult to visualize, which negatively impacts students' critical thinking and metacognitive skills. This study aims to develop and examine the effectiveness of an interactive flipbook based on Augmented Reality (AR) integrated with th...
Dedeh Lisna Lestari· ACADEMIA Jurnal Inovasi Rise...· 0 citations
🔗 This paper is accompanied by open-source software and a fully reproducible pipeline. Code and data-generation scripts are available at:https://github.com/ChristosTsirkas/corpus-validation-for-undeciphered-scripts-linear-aLicense: https://github.com/ChristosTsirkas/corpus-validation-for-undeciphered-scripts-linear-a/...
Chris Tsirkas· Zenodo (CERN European Organi...· 0 citations
Large language model (LLM) agents increasingly write, compile, execute, and revise software inside systems that also hold files, credentials, and network authority. In that setting, security cannot depend on human review, external sandboxes, or post-hoc filtering alone: those mechanisms treat generated code as an opaqu...
Nigel Robinson· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
# Supplementary Data Package This package contains this README and four supplementary workbooks needed to trace the study corpus, screening validation, reporting, and the evidence summarized in manuscript Tables 5 and 6. `Supplementary_Table_S1_Corpus_and_Search.xlsx` documents the evidence base used in the review. Its...
Zheng Ma· Zenodo (CERN European Organi...· 0 citations
VulnScope, a web-based vulnerability assessment (VA) system that integrates a Large Language Model (LLM) to analyze the attack surface and generate contextual remediation recommendations, shows that integrating VA with artificial intelligence effectively helps MSME owners independently identify and remediate website se...
Modern humans run an inherited psychological operating system. Its deepest layer is conserved primate social architecture; call it the firmware. It sorts people into ours and theirs, then helps determine whom to copy, whom to submit to, whom to desire, and whom to tend. This machinery was calibrated in small, repeatedl...
Loren Curtis Rauch· Zenodo (CERN European Organi...· 0 citations
Technical note TR-2026-02, superseding TR-2026-01. We measure what happens when a frozen language model is sampled 128 times perproblem and the result is selected rather than taken as given. On GSM8K,Qwen2.5-0.5B-Instruct goes from 45.3% at a single sample to 66.5% undermajority voting, with no weights modified. Covera...
Alejandro Areces Rivera· Zenodo (CERN European Organi...· 0 citations
The project was conceived and developed based on an automated computational flowchart structured through a decision tree using the CART (Classification and Regression Tree) method, and it was approved by the Ethics Committee of Santa Casa de São Paulo. The resulting algorithm, named DOACT, was fully documented and made...
FUNDAMENTALS OF MACHINE LEARNING At the heart of digital transformation lies machine learning, a pivotal technology that shapes the course of innovation. Essentially, machine learning enables computers to learn from data and make independent decisions without needing specific programming instructions .For individuals a...
Kapil Shukla, Dr. BHARGAV PADHYA· Zenodo (CERN European Organi...· 0 citations
FUNDAMENTALS OF MACHINE LEARNING At the heart of digital transformation lies machine learning, a pivotal technology that shapes the course of innovation. Essentially, machine learning enables computers to learn from data and make independent decisions without needing specific programming instructions .For individuals a...
Kapil Shukla, Dr. BHARGAV PADHYA· Zenodo (CERN European Organi...· 0 citations
Artificial intelligence possesses growing capacity to recognize, interpret, and simulate emotional responses, but core dimensions of emotional intelligence—including authentic empathy, moral reasoning, contextual judgment, cultural responsiveness, and relational attunement—remain fundamentally human competencies.
G. B. Bailey· International Journal of Men...· 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.
Microsoft Research Blog· microsoft.comOct 12, 2026
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring 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.
