author = {Verena Praher and Endre Szasz-Revai and Wolfgang Windsteiger},
title = {{Reasoning over Legal Texts Using Large Language Models and Automated Reasoning}},
booktitle = {{SCML-2026: International Conference on Symbolic Computation and Machine Learning - Extended Abstracts}},
language = {english},
abstract = {This presentation describes an ongoing project in the area of tax law. The goal of the project is to bring computer-support to the decision process regarding taxation for international businesses. In particular, in a first prototype, the focus lies on transfer pricing, which is a non-trivial price-determination and taxation process that concerns businesses with divisions distributed over different countries or economies. We describe the ideas pursued in the project, we do not yet have results nor can we report on their critical evaluation by practitioners.},
series = {RISC Proceedings on Symbolic Computation and Machine Learning},
number = {3},
pages = {76--77},
publisher = {SCML},
address = {https://scml.risc.jku.at/},
isbn_issn = {ISSN xxxx},
year = {2026},
editor = {Bruno Buchberger and François Charton and Matthew England and Cezary Kaliszyk and Manuel Kauers and Hiroshi Kera and Temur Kutsia and Bernhard Moser and Markus Schedl and Wolfgang Schreiner and Martina Seidl and Wolfgang Windsteig},
refereed = {no},
length = {2},
url = {https://doi.org/10.35011/risc-proceedings-scml.3}