From

Institution

Field

Type

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

Reset

Papers matching “theorem proving” 66

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 Mathematics History and Theory of Mathematics Open access

Markus Pantsar

17

citations
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
2025 Topoi article Computer Science Computability, Logic, AI Algorithms Open access

Markus Pantsar

1

citations
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis
2022 conference-paper Engineering Safety Systems Engineering in Autonomy

Shahid Ali Khan, Waqar Ahmad, Osman Hasan

0

citations
Non-Local Extremum Seeking Based on the Divergence Theorem
2026 arXiv (Cornell University) preprint Engineering Extremum Seeking Control Systems Open access

Raik Suttner, Christian Ebenbauer, Sergey N. Dashkovskiy

0

citations
A Fenchel Theorem for the Gauss maps and uniqueness of minimizers of nonlocal curvature energies
2026 arXiv (Cornell University) preprint Mathematics Geometric Analysis and Curvature Flows Open access

Elias Döhrer, Alexander Dohmen

0

citations
The need for ethical guidelines in mathematical research in the time of generative AI
2025 AI and Ethics article Computer Science Explainable Artificial Intelligence (XAI) Open access

Markus Pantsar

1

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Software Reliability and Analysis Research Open access

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

13

citations
AProVE (KoAT + LoAT)
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 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 Adversarial Robustness in Machine Learning 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 Matrix Theory and Algorithms

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

1

citations
What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L
2026 Frontiers in artificial intelligence and applications book-chapter Computer Science Multi-Agent Systems and Negotiation Open access

Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker

0

citations
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
2022 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

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

0

citations
What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L
2026 arXiv (Cornell University) preprint Computer Science Multi-Agent Systems and Negotiation Open access

Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker

0

citations
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
2020 CEUR Workshop Proceedings article Computer Science Computational Geometry and Mesh Generation Open access

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

0

citations
Variations of Central Limit Theorems and Stirling numbers of the First Kind
2022 arXiv (Cornell University) preprint Mathematics Advanced Differential Equations and Dynamical Systems Open access

Bernhard E. Heim

0

citations
Variations of central limit theorems and Stirling numbers of the first kind
2023 Discrete Mathematics Letters article Mathematics Advanced Differential Equations and Dynamical Systems Open access

Bernhard E. Heim

0

citations
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
2021 arXiv (Cornell University) preprint Computer Science Semantic Web and Ontologies Open access

Rafael Albert, Erich Grädel

0

citations
De Finetti Theorems for the Unitary Dual Group
2022 Symmetry Integrability and Geometry Methods and Applications article Mathematics Random Matrices and Applications Open access

Isabelle Baraquin, Guillaume Cébron, Uwe Franz, Laura Maaßen, Moritz Weber

3

citations
Fixed points in de Finetti hierarchies
2026 arXiv (Cornell University) preprint Mathematics Tensor decomposition and applications Open access

Gereon Koßmann, Julius A. Zeiss

0

citations
Zero Set Structure of Real Analytic Beltrami Fields
2021 Journal of Geometric Analysis article Mathematics Geometric and Algebraic Topology Open access

Wadim Gerner

1

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
Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
2026 arXiv (Cornell University) preprint Computer Science Semantic Web and Ontologies Open access

Daham Mohammed Mustafa, Diego Collarana, Yixin Peng, Rafiqul Haque, Christoph Lange-Bever, Christoph Quix, +1 more

0

citations
A Wasserstein coupled particle filter for multilevel estimation
2022 Stochastic Analysis and Applications article Mathematics Statistical Methods and Inference Open access

Marco Ballesio, Ajay Jasra, Erik von Schwerin, Raul F. Tempone

9

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