From

Institution

Field

Type

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

Reset

Papers matching “theorem proving” 45

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
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
2025 Topoi article Arts and Humanities Cybernetics and Technology in Society Open access

Markus Pantsar

1

citations
Hodge theorem for the logarithmic de Rham complex via derived intersections
2020 Research in the Mathematical Sciences article Mathematics Algebraic Geometry and Number Theory Open access

Márton Hablicsek

3

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
Random Lochs’ Theorem
2022 Studia Mathematica article Mathematics Mathematical Dynamics and Fractals Open access

Charlene Kalle, Evgeny A. Verbitskiy, Benthen Zeegers

0

citations
The need for ethical guidelines in mathematical research in the time of generative AI
2025 AI and Ethics article Social Sciences Ethics and Social Impacts of AI 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 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
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
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
Classical theorems from analysis for locally band preserving functions on Dedekind complete $$\Phi $$-algebras
2026 Positivity article Mathematics Advanced Banach Space Theory Open access

Eder Kikianty, Luan Naude, Mark Roelands, Christopher Schwanke

0

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

Bernhard E. Heim

0

citations
De Finetti Theorems for the Unitary Dual Group
2022 Symmetry Integrability and Geometry Methods and Applications article Mathematics Advanced Operator Algebra Research Open access

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

3

citations
Periodic Lorentz gas with small scatterers
2023 Probability Theory and Related Fields article Mathematics Mathematical Dynamics and Fractals Open access

Péter Bálint, Henk Bruin, Dalia Terhesiu

5

citations
Local large deviations for periodic infinite horizon Lorentz gases
2023 Journal d Analyse Mathématique article Mathematics Mathematical Dynamics and Fractals Open access

Ian Melbourne, Françoise Pène, Dalia Terhesiu

4

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

Wadim Gerner

1

citations
Sporadic cubic torsion
2021 Algebra & Number Theory article Mathematics Algebraic Geometry and Number Theory Open access

Maarten Derickx, Anastassia Etropolski, Mark van Hoeij, Jackson S. Morrow, David Zureick-Brown

42

citations
A Wasserstein coupled particle filter for multilevel estimation
2022 Stochastic Analysis and Applications article Mathematics Markov Chains and Monte Carlo Methods Open access

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

9

citations
Variance Continuity for Lorenz Flows
2020 Annales Henri Poincaré article Mathematics Mathematical Dynamics and Fractals Open access

Wael Bahsoun, Ian Melbourne, Marks Ruziboev

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
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
Skolem's conjecture confirmed for a family of exponential equations, III
2021 Journal of Number Theory article Mathematics Algebraic Geometry and Number Theory Open access

Lajos Hajdu, Florian Luca, Rob Tijdeman

1

citations
Fast Exact Bayesian Inference for Sparse Signals in the Normal Sequence Model
2020 Bayesian Analysis article Mathematics Statistical Methods and Inference Open access

Tim van Erven, Botond Szabó

7

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