Expertini Research Research

Browse Research Papers

747+ open-access research outputs.

✕ Clear
🔍 pascal berrang 📂 Computer Science 📄 Preprint
Showing 747 results for "pascal berrang" in Computer Science · Preprint
Computer Science Preprint PDF DOI

From Mirage to Grounding: Towards Reliable Multimodal Circuit-to-Verilog Code Generation

Guang Yang, Xing Hu, Xiang Chen, Xin Xi · 2026

Multimodal large language models (MLLMs) are increasingly used to translate visual artifacts into code, from UI mockups into HTML to scientific plots into Python scripts. A circuit diagram can be view…

Read Paper →
Computer Science Preprint PDF DOI

Reducing Detail Hallucinations in Long-Context Regulatory Understanding via Targeted Preference Optimization

Yang Liu, Bin Chong, Yuhan Lin, Chongyang Zhang, Hao Zheng, Ziyi Zhang, Jiayu Liang, Ran Ran, Qian Li, Kefu Xu · 2026

Large language models (LLMs) frequently produce \emph{detail hallucinations} when processing long regulatory documents, including subtle errors in threshold values, units, scopes, obligation levels, a…

Read Paper →
Computer Science Preprint PDF DOI

FlashSpread: IO-Aware GPU Simulation of Non-Markovian Epidemic Dynamics via Kernel Fusion

Heman Shakeri, Behnaz Moradi-Jamei, Aram Vajdi, Ehsan Ardjmand · 2026

Non-Markovian (renewal) epidemic simulation on multi-million-node contact networks is essential for realistic forecasting under general age-dependent holding-time distributions (log-normal, Weibull, E…

Read Paper →
Computer Science Preprint PDF DOI

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware

Ray Iskander, Khaled Kirah · 2026

Post-quantum cryptographic (PQC) accelerators for ML-KEM (FIPS 203) and ML-DSA (FIPS 204) rely on pipelined Number Theoretic Transform (NTT) stages over $\mathbb{Z}_q$. Our prior work established stru…

Read Paper →
Computer Science Preprint PDF DOI

A Projection-Dimension Barrier for Direct Aggregation on the Step-Duplicating Primitive Recursor

Moses Rahnama · 2026

We identify \emph{operational inexpressibility}: for a fixed input and dimension of term-rewriting proof systems, no derivation in the proof language both depends on that dimension and constrains the …

Read Paper →
Computer Science Preprint PDF DOI

Party Autonomy in Determining the Law Applicable to Non-contractual Obligations concerning Cross-Border Data Transfers

Yuki Okamura, Ren Yatsunami, Kumiko Kameishi, Oliver Posani, Soma Araoka, Miho Ikeda, Makiko Aoyagi · 2026

(1)Cross-border data transfers have become a matter of daily occurrence against the backdrop of the development of cloud computing and artificial intelligence. Consequently, where a data leak gives ri…

Read Paper →
Computer Science Preprint PDF DOI

Governed MCP: Kernel-Level Tool Governance for AI Agents via Logit-Based Safety Primitives

Daeyeon Son · 2026

AI agents increasingly call external tools (file system, network, APIs) through the Model Context Protocol (MCP). These tool calls are the agent's syscalls -- privileged operations with side effects o…

Read Paper →
Computer Science Preprint PDF DOI

Erlang Binary and Source Code Obfuscation

Gregory Morse, Tamas Kozsik · 2026

This paper studies obfuscation techniques for Erlang programs at the source, abstract syntax tree, BEAM assembly, and BEAM bytecode levels. We focus on transformations that complicate reverse engineer…

Read Paper →
Computer Science Preprint PDF DOI

Where Trust Fails: Mapping Location-Data Provenance Risks in Europe

Eduardo Brito, Liina Kamm · 2026

European digital sovereignty and security increasingly depends on whether high-impact decisions can be grounded in location evidence that remains credible under adversarial pressure. This paper frames…

Read Paper →
Computer Science Preprint PDF DOI

Emulation-Completeness of Programming Languages

Gregory Morse, Tamas Kozsik · 2026

We study when a programming language can emulate programs written in that same language without delegating the guest program back to the host evaluator or compiler. We call this property emulation-com…

Read Paper →
Computer Science Preprint PDF DOI

BadSkill: Backdoor Attacks on Agent Skills via Model-in-Skill Poisoning

Guiyao Tie, Jiawen Shi, Pan Zhou, Lichao Sun · 2026

Agent ecosystems increasingly rely on installable skills to extend functionality, and some skills bundle learned model artifacts as part of their execution logic. This creates a supply-chain risk that…

Read Paper →
Computer Science Preprint PDF DOI

Regime-Conditional Retrieval: Theory and a Transferable Router for Two-Hop QA

Andre Bacellar · 2026

Two-hop QA retrieval splits queries into two regimes determined by whether the hop-2 entity is explicitly named in the question (Q-dominant) or only in the bridge passage (B-dominant). We formalize th…

Read Paper →
Computer Science Preprint PDF DOI

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions

David B. Hulak, Arthur F. Ramos, Ruy J. G. B. de Queiroz · 2026

Token identity is semantic information for measurement-bearing expressions. Intervals, dimension tags, and token-erased syntax can say what values a measured leaf may take, but they cannot say whether…

Read Paper →
Computer Science Preprint PDF DOI

Intimacy as Service, Harm as Externality: Critical Perspectives on AI Companion Platform Accountability

Dayeon Eom, Julianne Renner, Sedona Chinn · 2026

This paper examines artificial intelligence (AI) companionship as a site where intimate relations are simultaneously produced, extracted from, and governed through datafied systems. Drawing on critica…

Read Paper →
Computer Science Preprint PDF DOI

Conditional Publics: Shared Events and Divergent Meanings in the European Twitter Debate on the Ukraine War

Corrado Monti, Arthur Capozzi, Yelena Mejova, Gianmarco De Francisci Morales · 2026

How do European publics debate a geopolitical crisis on social media, and do they inhabit a shared informational reality? We analyze over 38 million geolocated tweets from 20 European countries during…

Read Paper →
Computer Science Preprint PDF DOI

Cognitive Comparability and the Limits of Governance: Evaluating Authority Under Radical Capability Asymmetry

Tony Rost · 2026

Governance theory has quietly relied on a rough cognitive comparability between governors and governed. The assumption is load-bearing, and this paper tries to show why by making it testable. The vehi…

Read Paper →
Computer Science Preprint PDF DOI

Streaming Model Cascades for Semantic SQL

Pawe{l} Liskowski, Kyle Schmaus · 2026

Modern data warehouses extend SQL with semantic operators that invoke large language models on each qualifying row, but the per-row inference cost is prohibitive at scale. Model cascades reduce this c…

Read Paper →
Computer Science Preprint PDF DOI

"I Just Need GPT to Refine My Prompts": Rethinking Onboarding and Help-Seeking with Generative 3D Modeling Tools

Kanak Gautam, Poorvi Bhatia, Parmit K. Chilana · 2026

Learning to use feature-rich software is a persistent challenge, but generative AI tools promise to lower this barrier by replacing complex navigation with natural language prompts. We investigated ho…

Read Paper →
Computer Science Preprint PDF DOI

From categorized neural architectures to subexponential proof theory

Carlos Ramirez Ovalle · 2026

We study a resource-sensitive fragment of the problem of extracting a logical discipline from a class of neural architectures by passing through categorization. The starting point is not a pre-existin…

Read Paper →
Computer Science Preprint PDF DOI

Safeguarding LLMs Against Misuse and AI-Driven Malware Using Steganographic Canaries

Md Raz, Venkata Sai Charan Putrevu, Meet Udeshi, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri · 2026

AI-powered malware increasingly exploits cloud-hosted generative-AI services and large language models (LLMs) as analysis engines for reconnaissance and code generation. Simultaneously, enterprise upl…

Read Paper →
Page 1 of 38 Next →