From

Institution

Field

Type

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

Reset

Papers matching “mathematics” 37

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Leiden Declaration on Artificial Intelligence and Mathematics
2026 arXiv (Cornell University) preprint Computer Science Artificial Intelligence Applications Open access

Jarod Alper, Michael Bárány, Alain Chavarri Villarello, Sander R. Dahmen, Walter Dean, Karthik Ganapathy, +10 more

2

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
Quantum Boltzmann Machines: Applications in Quantitative Finance
2023 RePEc: Research Papers in Economics preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Cameron Perot

0

citations
Weighted Programming
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations
An Approach to Colour Morphological Supremum Formation using the LogSumExp Approximation
2023 arXiv (Cornell University) preprint Computer Science Digital Image Processing Techniques Open access

Marvin Kahra, Michael Breuß, Andreas Kleefeld, Martin Welk

0

citations
Discriminating Equivalent Algorithms via Relative Performance
2020 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Aravind Sankaran, Paolo Bientinesi

0

citations
MM-OptBench: A Solver-Grounded Benchmark for Multimodal Optimization Modeling
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Zhong Li, Qi Huang, Yuxuan Zhu, Mohammad Mohammadi Amiri, Bas van Stein, Thomas Bäck, +3 more

0

citations
Reinforcement Learning with Verifiable Rewards for Small Search Agents
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Gaurisankar Jayadas, Aske Plaat, Álvaro Serra-Gómez, Sandheep P

0

citations
A study of latent monotonic attention variants
2021 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Albert Zeyer, Ralf Schlüter, Hermann Ney

7

citations
Bayesian calibration, process modeling and uncertainty quantification in biotechnology
2021 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Laura M. Helleckes, Michael Osthege, Wolfgang Wiechert, Eric von Lieres, Marco Oldiges

4

citations
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
2020 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Christopher Brix, Thomas Noll

3

citations
Graph Similarity Based on Matrix Norms
2022 arXiv (Cornell University) preprint Computer Science Graph Theory and Algorithms Open access

Timo Gervens, Martin Grohe

3

citations
Quantum Programming with Inductive Datatypes
2020 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

3

citations
A Hybrid Modeling Framework for Generalizable and Interpretable Predictions of ICU Mortality: Leveraging ICD Codes in a Multi-Hospital Study of Mechanically Ventilated Influenza Patients
2023 Research Square preprint Computer Science Machine Learning in Healthcare Open access

Moein E. Samadi, Jorge Guzman-Maldonado, Kateryna Nikulina, Hedieh Mirzaieazar, Konstantin Sharafutdinov, Sebastian Johannes Fritsch, +1 more

2

citations
The Limits of Word Level Differential Privacy
2022 arXiv (Cornell University) preprint Computer Science Privacy-Preserving Technologies in Data Open access

Justus Mattern, Benjamin Weggenmann, Florian Kerschbaum

2

citations
Matrix-Valued LogSumExp Approximation for Colour Morphology
2024 arXiv (Cornell University) preprint Computer Science Digital Image Processing Techniques Open access

Marvin Kahra, Michael Breuß, Andreas Kleefeld, Martin Welk

2

citations
Continuous limits of residual neural networks in case of large input data
2021 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Michael Herty, A. Thuenen, T. Trimborn, G. Visconti

1

citations
Rapid Mixing of Quantum Gibbs Samplers for Weakly-Interacting Quantum Systems
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Štěpán Šmíd, Mario Berta, Roberto Bondesan

1

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture
2022 preprint Computer Science Real-Time Systems Scheduling Open access

Alexandru Kampmann, Maximilian Lüer, Stefan Kowalewski, Bassam Alrifaee

1

citations
Quantum Physics using Weighted Model Counting
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Joon‐Hyung Lee, Alfons Laarman

1

citations
Repulsive Curves.
2020 arXiv (Cornell University) preprint Computer Science Computer Graphics and Visualization Techniques Open access

Christopher Yu, Keenan Crane

1

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

1

citations
On the Computational Complexity of the Chain Rule of Differential Calculus
2021 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Uwe Naumann

1

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations