Citizens' social media posts can provide rapid, complementary situational information during emerging wildfires, alongside conventional sensing and official reporting. For Greek, no annotated wildfire corpus or end-to-end pipeline existed, and most systems stop at binary detection or depend on geotags. We present an en...
Simulation model parameter optimization requires selecting optimizers from task knowledge and translating those decisions into execution configurations that satisfy interface, authorization, and budget requirements. We propose ParaOpt-Agent, a knowledge-driven pre-execution agent that combines task and optimizer descri...
Danyang Jiang, Minghui Lyu, Zhaopeng LIU et al.· Algorithms· 0 citations
Within English for Specific Purposes (ESP) assessment, reading tasks represent the linguistic and discourse demands of academic and professional communication. Maintaining parallel assessment materials while preserving the intended meaning presents an ongoing challenge, particularly in large-scale testing contexts wher...
Seyma Nur Yildirim‐Erbasli, Münevver İlgün Dibek, Okan Bulut· English for Specific Purpose...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Sol-gel synthesis is a versatile method for producing inorganic materials that offers advantages such as atomic-level mixing and lower processing temperatures over traditional solid-state methods. Despite these benefits, achieving phase purity remains a challenge due to the process's sensitivity to synthesis parameters...
Wesley Chen, Sanghoon Lee, Tim Kodalle et al.· ChemRxiv· 0 citations
Large language models (LLMs) are increasingly being integrated into first-principles computational workflows, yet their ability to configure scientific calculations remains poorly understood. Here, we introduce INCARBench, a benchmark for evaluating LLMs on input configuration for the Vienna Ab initio Simulation Packag...
Bin Shao, Jixiang Li, Xinyue Zhang et al.· Computational Materials Scie...· 0 citations
Abstract Automatically deriving executable and efficient constraint programming models from natural language descriptions has long been a central goal in optimisation and constraint programming. Large Language Models (LLMs) appear to bring this vision closer, showing promising results in generating models for classical...
Replication package for the OSF-preregistered experiment (https://osf.io/uj9rv, DOI: 10.17605/OSF.IO/UJ9RV, registered 2026-10-06 before any data collection) accompanying the working paper "Observable but Incomprehensible: Delegation under Verification Capacity Constraints" (Wu, 2026). Contains the frozen pre-analysis...
This supplement records five additional target paradigms for the Audit Replay Agent (ARA-AUDIT-REPLAY-001): Common Lisp, Brainfuck, spreadsheet formulas, an Analytical Engine-style program, and AWK. It is separate from the canonical ARA package and its Non-Normative Tests (NNT) companion. The supplement Manifest names...
Semantichor· Zenodo (CERN European Organi...· 1 citation
A specification document package, distributed free of charge. It defines ARA-AUDIT-REPLAY-001, an offline audit/replay/verification agent for deterministic reconstruction of ledger-backed sessions, hash-chain continuity validation, checkpoint and rollback replay, and evidence-sufficient audit reporting. The authoritati...
Semantichor· Zenodo (CERN European Organi...· 1 citation
The use of large language models (LLMs) in finance has expanded rapidly, yet general-purpose systems face recurring problems in high-risk and regulated applications: Unsupported factual generation, weak reasoning across text, tables, charts, and numerical data, and limited traceability of model-assisted decisions. This...
Fumin Niu, Fengshuo Liu, Zekang Zhang et al.· FinTech and Sustainable Inno...· 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.