3 papers
cs.LO2026
Three-Dimensional Affine Spatial Logics
Adam Trybus
We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in…
cs.LO2026
A Non-Binary Method for Finding Interpolants: Theory and Practice
Adam Trybus, Karolina Rożko, Tomasz Skura
We describe a new method of finding interpolants for classical logic using certain refutation system as a starting point. Refutation can be thought of as an alternative approach to…
cs.CL2026
Making Bielik LLM Reason (Better): A Field Report
Adam Trybus, Bartosz Bartnicki, Remigiusz Kinas
This paper presents a research program dedicated to evaluating and advancing the reasoning capabilities of Bielik, a Polish large language model. The study describes a number of st…