From

Institution

Field

Type

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

Reset

Papers matching “theorem proving” 44

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Theorem proving in artificial neural networks: new frontiers in mathematical AI
2024 European Journal for Philosophy of Science article Computer Science Artificial Intelligence Applications Open access

Markus Pantsar

18

citations
On the Bernstein-von Mises theorem for the Dirichlet process
2021 Electronic Journal of Statistics article Computer Science Bayesian Methods and Mixture Models Open access

Kolyan Ray, Aad van der Vaart

8

citations
A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
2020 Discrete Mathematics & Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Joost Engelfriet, Heiko Vogler

0

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

14

citations
Integrating ADTs in KeY and their application to history-based reasoning about collection
2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

1

citations
AProVE (KoAT + LoAT)
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

5

citations
A Systematic Review of Formal Verification Models for Safety of Autonomous AI Agents: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Formal Methods in Verification Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations
ARC: An Educational Project on Automated Reasoning in the Class
2022 HAL (Le Centre pour la Communication Scientifique Directe) conference-paper Computer Science Teaching and Learning Programming

Isabela Drămnesc, Tudor Jebelean, Erika Ábrahám, Gábor Kusper, Sorin Stratulat

1

citations
Artifact for OOPSLA 2022 Article Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2022 Artifact Digital Object Group dataset Computer Science Logic, programming, and type systems

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

1

citations
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

0

citations
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
2020 CEUR Workshop Proceedings article Computer Science Logic, programming, and type systems Open access

Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

0

citations
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
2026 arXiv (Cornell University) preprint Computer Science Artificial Intelligence Applications Open access

Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck, Gergely Bérczi, Uri Kreitner, Liam Price, +1 more

0

citations
Fixed points in de Finetti hierarchies
2026 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Gereon Koßmann, Julius A. Zeiss

0

citations
Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

0

citations
Learning properties of quantum states without the IID assumption
2024 Nature Communications article Computer Science Quantum Computing Algorithms and Architecture Open access

Omar Fawzi, Richard Kueng, Damian Markham, Aadil Oufkir

5

citations
MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety
2020 AIAA SciTech Forum conference-paper Computer Science Formal Methods in Verification

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

5

citations
Fine-grained Expressivity of Graph Neural Networks
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Jan Böker, Ron Levie, Ningyuan Teresa Huang, Soledad Villar

4

citations
Asymptotic quantification of entanglement with a single copy
2026 Nature Physics article Computer Science Quantum Information and Cryptography Open access

Ludovico Lami, Mario Berta, Bartosz Regula

4

citations
Interferometric Quantum Polynomial Chaos Expansion as a Generative Model for Calorimeter Shower Simulation
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

J. Slim, Saverio Monaco, Florian Rehm, D. Kruecker, Frank Gaede, Kerstin Borras

0

citations
An Elementary Proof of the FMP for Kleene Algebra
2026 Fundamenta Informaticae article Computer Science semigroups and automata theory Open access

Tobias Kappé

1

citations
Preservation Theorems in Semiring Semantics
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Steffen van Bergerem, Martin Grohe, Charlotte Lenz, Nicole Schweikardt

0

citations
A Rank-Preserving Gaifman Normal Form
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Nicole Schweikardt

0

citations