Expertini Research Research

Browse Research Papers

304+ open-access research outputs.

✕ Clear
🔍 stephan baier 📂 Computer Science
Showing 304 results for "stephan baier" in Computer Science
Computer Science Preprint PDF DOI

LLM-as-a-Judge for Human-AI Co-Creation: A Reliability-Aware Evaluation Framework for Coding

Md Faizul Ibne Amin, Yutaka Watanobe, Daniel M. Muepu, Haruto Suzuki, Kenta Nanaumi, Md Mostafizer Rahman · 2026

LLMs are increasingly employed both as judges for evaluating open-ended outputs and as co-creation partners in AI-assisted programming; yet rigorous evaluation in human-AI co-creation settings remains…

Read Paper →
Computer Science Preprint PDF DOI

One stout to rule them all: Reconciling artificial intelligence, data science and malted alcoholic beverages

Dmitrii Usynin, Elena Shmakova, Michael Rheinberger · 2026

Beer is a phenomenal beverage. It has previously shaped the history of many peoples, states and cultures. The beauty of beer is its versatility. Starting from the original implementations that were mu…

Read Paper →
Computer Science Preprint PDF DOI

Fungi as functors: A category-theoretic approach to mycelial organisation

Andrew Adamatzky · 2026

We develop a rigorous, equation-free category-theoretic foundation for fungal organisation. A fungal organism is formalised as a functor from a category $\Env$ of structured environmental states and a…

Read Paper →
Computer Science Preprint PDF DOI

Neighborhood-Aware Graph Labeling Problem

Mohammad Shahverdikondori, Sepehr Elahi, Patrick Thiran, Negar Kiyavash · 2026

Motivated by optimization oracles in bandits with network interference, we study the Neighborhood-Aware Graph Labeling (NAGL) problem. Given a graph $G = (V,E)$, a label set of size $L$, and local rew…

Read Paper →
Computer Science Preprint PDF DOI

The Tag is the Signal: URL-Agnostic Credibility Scoring for Messages on Telegram

Yipeng Wang, Huy Gia Han Vu, Mohit Singhal · 2026

Telegram has become one of the leading platforms for disseminating misinformational messages. However, many existing pipelines still classify each message's credibility based on the reputation of its …

Read Paper →
Computer Science Preprint PDF DOI

Diagonalization Without Relativization A Closer Look at the Baker-Gill-Solovay Theorem

Baruch Garcia · 2026

We already know that several problems like the inequivalence of P and EXP as well as the undecidability of the acceptance problem and halting problem relativize. However, relativization is a limited t…

Read Paper →
Computer Science Preprint PDF DOI

Localized Calibrated Uncertainty in Code Language Models

David Gros, Prem Devanbu · 2025

Large Language models (LLMs) can generate complicated source code from natural language prompts. However, LLMs can generate output that deviates from what the user wants, requiring supervision and edi…

Read Paper →
Computer Science Preprint PDF DOI

A Note on Avoid vs MCSP

Edward A. Hirsch, Ilya Volkovich · 2025

A recent result of Ghentiyala, Li, and Stephens-Davidowitz (ECCC TR 25-210) shows that any language reducible to the Range Avoidance Problem via deterministic or randomized Turing reductions is contai…

Read Paper →
Computer Science Preprint PDF DOI

Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra

Cheuk Ting Li · 2025

We propose using confusion hypergraphs (hyperconfusions) as a model of information. In contrast to the conventional approach using random variables, we can now perform conjunction, disjunction and imp…

Read Paper →
Computer Science Preprint PDF DOI

BIER-Star: Stateless Geographic Multicast for Scalable Satellite-Terrestrial Integration

Mostafa Abdollahi, Wenjun Yang, Jianping Pan · 2025

The rapid expansion of LEO satellite constellations has enabled an integrated terrestrial network and non-terrestrial network (TN-NTN), connecting diverse users such as aircraft, ships, and remote com…

Read Paper →
Computer Science Preprint PDF DOI

SURA: Secure Unsourced Random Access

Mohammad Javad Ahmadi, Rafael F. Schaefer, H. Vincent Poor · 2025

This work introduces security for unsourced random access (URA) by employing physical layer security techniques. To achieve confidentiality, the proposed system opportunistically exploits intrinsic fe…

Read Paper →
Computer Science Preprint PDF DOI

Expected by Whom? A Skill-Adjusted Expected Goals Model for NHL Shooters and Goaltenders

J.T.P. Noel · 2025

This study outlines a light gradient boosted model aimed at predicting shot outcomes in the NHL. The model uses the NHL's spatiotemporal data to account for both the skill of shooters and goaltenders.…

Read Paper →
Computer Science Preprint PDF DOI

Efficient and rate-optimal list-decoding in the presence of minimal feedback: Weldon and Slepian-Wolf in sheep's clothing

Pranav Joshi, Daniel McMorrow, Yihan Zhang, Amitalok J. Budkuley, Sidharth Jaggi · 2025

Given a channel with length-$n$ inputs and outputs over the alphabet $\{0,1,\ldots,q-1\}$, and of which a fraction $\varrho \in (0,1-1/q)$ of symbols can be arbitrarily corrupted by an adversary, a fu…

Read Paper →
Computer Science Preprint PDF DOI

Open the Oyster: Empirical Evaluation and Improvement of Code Reasoning Confidence in LLMs

Shufan Wang, Xing Hu, Junkai Chen, Zhiyuan Pan, Xin Xia · 2025

With the widespread application of large language models (LLMs) in the field of code intelligence, increasing attention has been paid to the reliability and controllability of their outputs in code re…

Read Paper →
Computer Science Preprint PDF DOI

Deterministic Hardness of Approximation of Unique-SVP and GapSVP in $\ell_p$ norms for $p>2$

Yahli Hecht, Muli Safra · 2025

We establish deterministic hardness of approximation results for the Shortest Vector Problem in $\ell_p$ norm ($\mathsf{SVP}_p$) and for Unique-SVP ($\mathsf{uSVP}_p$) for all $p > 2$. Previously, no …

Read Paper →
Computer Science Preprint PDF DOI

Predicting Module-Lattice Reduction

Leo Ducas, Lynn Engelberts, Paola de Perthuis · 2025

Is module-lattice reduction better than unstructured lattice reduction? This question was highlighted as 'Q8' in the Kyber NIST standardization submission (Avanzi et al., 2021), as potentially affecti…

Read Paper →
Computer Science Preprint PDF DOI

Modeling Product Ecosystems

Tridib Banerjee · 2025

This paper develops a dynamical-systems framework for modeling influence propagation in product adoption networks, formulated as a positive linear system with Metzler interaction matrices and utility-…

Read Paper →
Computer Science Preprint PDF DOI

Risk-Calibrated Bayesian Streaming Intrusion Detection with SRE-Aligned Decisions

Michel Youssef (Independent Researcher) · 2025

We present a risk-calibrated approach to streaming intrusion detection that couples Bayesian Online Changepoint Detection (BOCPD) with decision thresholds aligned to Site Reliability Engineering (SRE)…

Read Paper →
Computer Science Preprint PDF DOI

A 13/6-Approximation for Strip Packing via the Bottom-Left Algorithm

Stefan Hougardy, Bart Zondervan · 2025

In the Strip Packing problem, we are given a vertical strip of fixed width and unbounded height, along with a set of axis-parallel rectangles. The task is to place all rectangles within the strip, wit…

Read Paper →
Computer Science Preprint PDF DOI

An ML-based Approach to Predicting Software Change Dependencies: Insights from an Empirical Study on OpenStack

Ali Arabat, Mohammed Sayagh, Jameleddine Hassine · 2025

As software systems grow in complexity, accurately identifying and managing dependencies among changes becomes increasingly critical. For instance, a change that leverages a function must depend on th…

Read Paper →
Page 1 of 16 Next →