Logo:
Bilateral-AI/Publications

Value Iteration with Guessing for Markov Chains and Markov Decision Processes

K. Chatterjee, M. JafariRaviz, R. Saona, J. Svoboda - in Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1 May 2025 - Springer

Refuting Equivalence in Probabilistic Programs with Conditioning

K. Chatterjee, E. K. Goharshady, P. Novotný, Đ. Žikelić - Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of System, 1 May 2025

Pattern-based engineering of Neurosymbolic AI Systems

F.J. Ekaputra - Journal of Web Semantics, Vol. 85 - May 2025 - Elsevier

Knowledge Engineering with Large Language Models: A Capability Assessment in Ontology Evaluation

S. Tsaneva, G. B. Herwanto, M. Llugiqi, M. Sabou - Semantic Web - Interoperability, Usability, Applicability (an IOS Press Journal); April 2025, semantic-web-journal.net

MHNfs: Prompting In-Context Bioactivity Predictions for Low-Data Drug Discovery

Johannes Schimunek, Sohvi Luukkonen, Günter Klambauer; in: Journal of Chemical Information and Modeling, 30 Apr 2025

ExIM: Exploring Intent of Music Listening for Retrieving User-generated Playlists

A. Hausberger, H. Strauss, M. Schedl - Proceedings of the 2025 ACM SIGIR Conference on Human Information Interaction and Retrieval, 29 Apr 2025 - dl.acm.org

When is liquid democracy possible? On the manipulation of variance

K. Chatterjee, S. Gilbert, S. Schmid, J. Svoboda, M. Yeo - Cryptology {ePrint} Archive, Paper 2025/745, 27 Apr 2025 - eprint.iacr.org

Common Foundations for SHACL, ShEx, and PG-Schema

S. Ahmetaj, I. Boneva, J. Hidders, K. Hose, M. Jakubowski, J.E. Labra-Gayo, W. Martens, F. Mogavero, F. Murlak, C. Okulmus, A. Polleres, O. Savkovic, M. Simkus, D. Tomaszuk - in Proceedings of the ACM on Web Conference 2025, 22 Apr 2025

Towards Improving Automated Testing with GraphWalker

Yavuz Koroglu, Mutlu Beyazıt, Onur Kilincceker, Serge Demeyer, Franz Wotawa; in: Proceedings "2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 31 March - 4 April, 2025", 16 April 2025 - ieeexplore.ieee.org

Privacy for Free in the Overparameterized Regime

S. Bombari, M. Mondelli - Proceedings of the National Academy of Science, USA, 122 (15), 11 Apr 2025

ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning

S. Adam, T. Eiter - Proceedings of the AAAI Conference on Artificial, 11 Apr 2025 - ojs.aaai.org

Breaking symmetries in quantified graph search: A comparative study

M. Janota, M. Kirchweger, T. Peitl, S. Szeider - Proceedings of the AAAI Technical Track on Constraint Satisfaction and Optimization, 11 Apr, 2025

Parameterized Complexity of Caching in Networks

R. Ganian, F. McInerney, D. Tsigkari - Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11229-11237, 11 Apr 2025 - ojs.aaai.org

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization

K. Chatterjee, E. K. Goharshady, M. Karrabi, H. J. Motwani, M. Seeliger, Đ. Žikelić; Proceedings of the "AAAI Conference on Artificial Intelligence" (Vol. 39 No. 11: AAAI-25 Technical Tracks 11), 11 April 2025

The Complexity of Extending Fair Allocations of Indivisible Goods

A. Deligkas, E. Eiben, R. Ganian, T.-L. Goldsmith, S. D. Ioannidis - Proceedings of the AAAI Conference on Artificial Intelligence, 11 Apr, 2025

Linear Equations with Min and Max Operators: Computational Complexity

K. Chatterjee, R. Luo, R. Saona, J. Svoboda - Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11 Apr 2025

Solution Counts of Some Prominent Quantified Boolean Formulas Families

A. Plank, M. Kauers, M. Seidl; in: Proceedings of "The 40th ACM/SIGAPP Symposium On Applied Computing [SAC 2025]", 31 March - 4 Apr 2025 - algebra.uni-linz.ac.at

Route Discovery in Private Payment Channel Networks

Z. Avarikioti, M. Bastankhah, M. A. Maddah-Ali, K. Pietrzak, J. Svoboda, M. Yeo - Part of the book series: Lecture Notes in Computer Science (LNCS, volume 15263), European Symposium on Research in Computer Security, 2 Apr 2025 - Springer

Knowledge Graph-Based Reasoning in Large Language Models

T. Baldazzi, L. Bellomarini, E. Sallinger - Handbook on Neurosymbolic AI and Knowledge Graphs (Ebook: Volume 400), April 2025 - ebooks.iospress.nl

The impact of playlist characteristics on coherence in user-curated music playlists

H. Schweiger, E. Parada-Cabaleiro, M. Schedl - EPJ Data Science, 19 Mar 2025 - Springer

Addressing Pitfalls in the Evaluation of Uncertainty Estimation Methods for Natural Language Generation

M. Ielanskyi, K. Schweighofer, L. Aichberger, S. Hochreiter - in Proceedings of the ICLR Workshop: Quantify Uncertainty and Hallucination in Foundation Models: The Next Frontier in Reliable AI - 5 Mar 2025

Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth

B. Bergougnoux, V. Chekan, R. Ganian, M. M. Kanté, M. Mnich, Sang-il O, M. Pilipczuk, E. J. van Leeuwen - in ACM Journals, ACM Transactions on Computation Theory, 5 Mar 2025 - dl.acm.org

Leveraging Knowledge Graphs for AI System Auditing and Transparency

L. Waltersdorfer, M. Sabou - Journal of Web Semantics, Jan 2025 - Elsevier

Adversarially Robust Spiking Neural Networks with Sparse Connectivity

M. Schmolli, M. Baronig, R. Legenstein, O. Ozdenizci - Proceedings of The Second Conference Parsimony and Learning (CPAL 2025 (Proceedings Track) Poster), 11 Feb 2025 - openreview.net

A simple model for Behavioral Time Scale Synaptic Plasticity (BTSP) provides content addressable memory with binary synapses and one-shot learning

Y. Wu, W. Maass - Nature communications, 29 Jan 2025 - nature.com

FlashRNN: I/O-Aware Optimization of Traditional RNNs on modern hardware

K. Pöppel, M. Beck, S. Hochreiter - The Thirteenth International Conference on Learning Representations (ICLR 2025 Poster), 22 Jan 2025 - openreview.net

Improving Uncertainty Estimation through Semantically Diverse Language Generation

L. Aichberger, K. Schweighofer, M. Ielanskyi, S. Hochreiter - Proceedings of The Thirteenth International Conference on Learning Representations, 22 Jan 2025 - openreview.net

Privacy-Aware Lifelong Learning

O. Ozdenizci, E. Rueckert, R. Legenstein - Proceedings of The Thirteenth International Conference on Learning Representations, 22 Jan 2025, - openreview.net

Training One-Dimensional Graph Neural Networks is NP-Hard

R. Ganian, M. Rocton, S. Wietheger - The Thirteenth International Conference on Learning Representations (ICLR 2025), 22 Jan 2025 - openreview.net

Ontology Corpora for LLM-based Knowledge Engineering Research

G.B. Herwanto, S. Tsaneva, M. Sabou - 2025 - ceur-ws.org

Density amplifiers of cooperation for spatial games

J. Svoboda, K. Chatterjee - Proceedings of the National Academy of Sciences (PNAS), 6 Dec 2024 - pnas.org

Scholarly Wikidata: Population and Exploration of Conference Data in Wikidata Using LLMs

N. Mihindukulasooriya, S. Tiwari, D. Dobriy, F. Årup Nielsen, T. R. Chhetri, A. Polleres - Conference paper, Lecture Notes in Computer Science (LNAI, volume 15370), International Conference on Knowledge Engineering and Knowledge Management, 20 Nov 2024 - Springer

Benchmarking Ontology Validation Capabilities of LLMs

S. Tsaneva, G.B. Herwanto, M. Sabou - The Semantic Web–ISWC, 13 Nov 2024 - ceur-ws.org

ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP

L. Chew, A. de Colnet, S. Szeider - Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024 - proceedings.kr.org

The Importance of Cognitive Biases in the Recommendation Ecosystem: Evidence of Feature-Positive Effect, Ikea Effect, and Cultural Homophily

M. Schedl, O. Lesota, S. Masoudian - Proceedings of the 11th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems, 31 Oct 2024 - intrs2024.wordpress.com

Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report

W. Faber; in: Proceedings of the Workshop of 40th International Conference on Logic Programming (ICLP-WS 2024)(CEUR Workshop Proceedings, Vol. 3799), 24 Oct 2024 - ceur-ws.org

Oh, Behave! Country Representation Dynamics Created by Feedback Loops in Music Recommender Systems

O. Lesota, J. Geiger, M. Walder, D. Kowald, M. Schedl; - Proceedings of the 18th ACM Conference on Recommender Systems, 8 Oct 2024 - dl.acm.org

A Multimodal Single-Branch Embedding Network for Recommendation in Cold-Start and Missing Modality Scenarios

C. Ganhör, M. Moscati, A. Hausberger, S. Nawaz, M. Schedl; Proceedings of the 18th ACM Conference on Recommender Systems, 8 Oct 2024 - dl.acm.org

Value-Positivity for Matrix Games

K. Chatterjee, M. Oliu-Barton, R. Saona, In: Mathematics of Operations Research, 1 Oct 2024; pubsonline.informs.org

(39 Publications | status: 13 May, 2025)

Pre-prints

Hybrid Personalization Using Declarative and Procedural Memory Modules of the Cognitive Architecture ACT-R

K. Innerebner, D. Kowald, M. Schedl, E. Lex - arXiv preprint arXiv:2505.05083, 8 May 2025 - arxiv.org

Qualitative Analysis of ω-Regular Objectives on Robust MDPs

A. Asadi, K. Chatterjee, E. K. Goharshady, M. Karrabi, A. Shafiee - arXiv preprint arXiv:2505.04539, 7 May 2025 - arxiv.org

Familiarizing with Music: Discovery Patterns for Different Music Discovery Needs

M. Moscati, D. Afchar, M. Schedl, B. Sguerra - arXiv preprint arXiv:2505.03568, 6 May 2025 - arxiv.org

Multiplicative Rewards in Markovian Models

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer; arXiv preprint Computer Science > Logic in Computer Science, 25 Apr 2025 - arxiv.org

A surprising link between cognitive maps, successor-relation based reinforcement learning, and BTSP

Y. Yang, Ch. Stöckl, W. Maass - bioRxiv, 23 Apr 2025 - biorxiv.org

The Value Problem for Multiple-Environment MDPs with Parity Objective

K. Chatterjee, L. Doyen, J.-F. Raskin, O. Sankur - arXiv preprint arXiv:2504.15960, 22 Apr 2025 - arxiv.org

ASIDE: Architectural Separation of Instructions and Data in Language Models

E. Zverev, E. Kortukov, A. Panfilov, S. Tabesh, A. Volkova, S. Lapuschkin, W. Samek, C. H. Lampert - arXiv preprint Computer Science > Machine Learning, 21 Apr 2025 - arxiv.org

OnSET: Ontology and Semantic Exploration Toolkit

B. Kantz, K. Innerebner, P. Waldert, S. Lengauer, E. Lex, T. Schreck - arXiv preprint arXiv Computer Science > Information Retrieval, 11 Apr 2025 - arxiv.org

ImageSet2Text: Describing Sets of Images through Text

P. Riccio, F. Galati, K. Schweighofer, N. Garcia, N. Oliver - arXiv preprint Computer Science > Computer Vision and Pattern Recognition, 25 Mar 2025 - arxiv.org

A parsimonious model for learning order relations provides a principled explanation of diverse experimental data

Y. Yang, W. Maass - bioRxiv, 17 Mar 2025 - biorxiv.org

Attacking Multimodal OS Agents with Malicious Image Patches

L. Aichberger, A. Paren, Y. Gal, P. Torr, A. Bibi - arXiv preprint arXiv:2503.10809, 13 Mar 2025 - arxiv.org

The Computational Complexity of Positive Non-Clashing Teaching in Graphs

R. Ganian, L. Khazaliya, F. McInerney, M. Rocton - arXiv preprint arXiv:2503.07665, 8 Mar 2025 - arxiv.org

Optimal Decision Tree Pruning Revisited: Algorithms and Complexity

J. Harviainen, F. Sommer, M. Sorge, S. Szeider - arXiv preprint arXiv:2503.03576, 5 Mar 2025 - arxiv.org

A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots

E. Eiben, R. Ganian, I. Kanj, R. M. Sridharan; in: Computer Science > Discrete Mathematics - arXiv preprint arXiv Computer Science > Discrete Mathematics, 28 Feb 2025 - arxiv.org

Generative Topology Optimization: Exploring Diverse Solutions in Structural Design

A. Radler, E. Volkmann, J. Brandstetter, A. Berzins - arXiv preprint Computer Science > Machine Learning, 17 Feb 2025 - arxiv.org

Continual Release Moment Estimation with Differential Privacy

N. P. Kalinin, J. Upadhyay, C. H. Lampert - arXiv preprint arXiv:2502.06597 Computer Science > Machine Learning, 10 Feb 2025 - arxiv.org

DEALing with Image Reconstruction: Deep Attentive Least Squares

M. Pourya, E. Kobler, M. Unser, S. Neumayer - arXiv preprint arXiv:2502.04079, 6 Feb 2025 - arxiv.org

Neural Collapse beyond the Unconstrained Features Model: Landscape, Dynamics, and Generalization in the Mean-Field Regime

D. Wu, M. Mondelli - arXiv preprint arXiv:2501.19104, 5 Feb 2025

Extracting Problem Structure with LLMs for Optimized SAT Local Search

A. Schidler, S. Szeider - arXiv preprint arXiv:2501.14630, Computer Science > Artificial Intelligence - 4 Feb 2025 - arxiv.org

Realtime generation of streamliners with large language models

F. Voboril, V. P. Ramaswamy, S. Szeider - arXiv preprint arXiv:2408.10268, 28 Jan 2025 - arxiv.org

Smart Cubing for Graph Search: A Comparative Study

M. Kirchweger, H. Xia, T. Peitl, S. Szeider - arXiv preprint arXiv:2501.17201 - 27 Jan 2025 - arxiv.org

Fixed Point Certificates for Reachability and Expected Rewards in MDPs

K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken; arXiv preprint arXiv Computer Science > Logic in Computer Science, 20 Jan 2025 - arxiv.org

Efficient MedSAMs: Segment Anything in Medical Images on Laptop

J. Ma, F. Li, S. Kim, R. Asakereh, B. H. Le, ... - arXiv preprint arXiv:2412.16085, 20 Dec 2024 - arxiv.org

Symmetries of Dependency Quantified Boolean Formulas

C. Hofstadler, M. Kauers, M. Seidl; - arXiv preprint, arXiv:2410.15848, 21 Oct 2024 - arxiv.org

Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms

A. Asadi, K. Chatterjee, R. Saona, J. Svoboda - arXiv preprint arXiv, in: Computer Science and Game Theory, 8 Oct 2024 - arxiv.org

Segment Any Text: A universal approach for robust, efficient and adaptable sentence segmentation

M. Frohmann, I. Sterner, I. Vulić, B. Minixhofer, M. Schedl; - arXiv preprint arXiv Computer Science > Computation and Language, 2 Oct 2024 - arxiv.org

Unlabeled Debiasing in Downstream Tasks via Class-wise Low Variance Regularization

S. Masoudian, M. Frohmann, N. Rekabsaz, M. Schedl - arXiv preprint arXiv:2409.19541, 2 Oct 2024 - arxiv.org

Explaining Decisions in ML Models: a Parameterized Complexity Analysis

S. Ordyniak, G. Paesani, M. Rychlicki, S. Szeider - arXiv preprint arXiv:2407.15780, 22 July 2024 - arxiv.org

(28 pre-prints | status: 13 May, 2025)


Subscribe for news