Alexander Beiser

According to our database, Alexander Beiser authored at least 8 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Data Augmentation Techniques to Reverse-Engineer Neural Network Weights from Input-Output Queries.

Alexander Beiser, Flavio Martinelli, Wulfram Gerstner, Johanni Brea

CoRR, November, 2025

Making LLMs Reason? The Intermediate Language Problem in Neurosymbolic Approaches.

Alexander Beiser, David Penz

CoRR, February, 2025

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.

Alexander Beiser, Stefan Woltran, Markus Hecher

Theory Pract. Log. Program., 2025

FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding.

Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming.

Alexander Beiser

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning.

Alexander Beiser, Nysret Musliu, David Penz

Proceedings of the Joint Proceedings of Posters, 2025

2024

ASP-driven User-interaction with Clinguin.

Alexander Beiser, Susana Hahn, Torsten Schaub

Proceedings of the Proceedings 40th International Conference on Logic Programming, February, 2024

Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting.

Alexander Beiser, Markus Hecher, Kaan Unalan, Stefan Woltran

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024