From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “symbolic reasoning” 9

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Simulated Reasoning is Reasoning
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Hendrik Kempt, Alon Lavie

1

citations
Multiobjective Preexpectation Reasoning for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lena Verscht, Hannah Mertens, Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations
From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Moein E. Samadi, Andreas Schuppert

0

citations
State Design Matters: How Representations Shape Dynamic Reasoning in Large Language Models
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Annie Wong, Aske Plaat, Thomas Bäck, Bas van Stein, Anna V. Kononova

1

citations
EvoMO-SR: Multiobjective LLM-based Evolution of Symbolic Expressions with substructure guidance
2026 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Cristina Rossetti, Anna V. Kononova, Thomas Bäck, Fei Liu, Niki van Stein

0

citations
Multi-modal multi-objective model-based genetic programming to find multiple diverse high-quality models
2022 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

E. M. C. Sijben, Tanja Alderliesten, Peter A. N. Bosman

0

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

1

citations
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more

0

citations
Exact Probabilistic Inference Using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Joost-Pieter Katoen

1

citations

9 results