From

Institution

Field

Type

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

Reset

Papers matching “first-order methods” 31

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Optimal Local Convergence Rates of Stochastic First-Order Methods under Local $α$-PL
2024 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Saeed Masiha, Saber Salehkaleybar, Niao He, Negar Kiyavash, Patrick Thiran

0

citations
Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments
2025 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Qihui Feng, Hannah M. Wilk, Shakil M. Khan, Gerhard Lakemeyer

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Stateless neural meta-learning using second-order gradients
2022 Machine Learning article Computer Science Domain Adaptation and Few-Shot Learning Open access

Mike Huisman, Aske Plaat, Jan N. van Rijn

9

citations
Future Directions in the Theory of Graph Machine Learning
2024 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Fabrizio Frasca, Nadav Dym, Haggai Maron, İsmail İlkan Ceylan, Ron Levie, Derek Lim, +3 more

0

citations
Termination of triangular polynomial loops
2023 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

8

citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

citations
Finding zeros of Hölder metrically subregular mappings via globally convergent Levenberg–Marquardt methods
2020 Optimization methods & software article Computer Science Optimization and Variational Analysis Open access

Masoud Ahookhosh, Ronan M. T. Fleming, Phan Tu Vuong

9

citations
Satisficing and Optimal Generalised Planning via Goal Regression
2026 Underline Science Inc. other Computer Science AI-based Problem Solving and Planning Open access

Association for Artificial Intelligence 2026, Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith

0

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
MMD-Newton Method for Multi-objective Optimization
2025 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Hao Wang, Chenyu Shi, Angel E. Rodríguez-Fernandez, Oliver Schütze

0

citations
A Riemannian Optimization Perspective of the Gauss-Newton Method for Feedforward Neural Networks
2024 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Semih Çaycı

1

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 RWTH Publications (RWTH Aachen) book-chapter Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Datenintegration und Metadatenmanagement in Data Lakes
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Database Systems and Queries Open access

Rihan Hai

2

citations
Elimination Techniques for Algorithmic Differentiation Revisited
2023 arXiv (Cornell University) preprint Computer Science Numerical Methods and Algorithms Open access

Uwe Naumann, Erik Schneidereit, Simon Maertens, Markus Towara

0

citations
Multi-iteration Stochastic Optimizers
2026 Applied Mathematics & Optimization article Computer Science Stochastic Gradient Optimization Techniques Open access

André Gustavo Carlon, Luis Espath, Rafael Holdorf Lopez, Raul F. Tempone

3

citations
Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

10

citations
Efficiently Escaping Saddle Points for Policy Optimization
2023 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Sadegh Khorasani, Saber Salehkaleybar, Negar Kiyavash, Niao He, Matthias Grossglauser

0

citations
One More Time: Revisiting Neural Quantum States from a Reinforcement Learning Perspective
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Juan Agustin Duque, Sergio García Heredia, Vinicius Hernandes, Eliška Greplová, Thomas Spriggs, Aaron C. Courville, +1 more

0

citations
Satisficing and Optimal Generalised Planning via Goal Regression
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science AI-based Problem Solving and Planning Open access

Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith

0

citations
1420 - Satisficing and Optimal Generalised Planning via Goal Regression
2026 Underline Science Inc. other Computer Science AI-based Problem Solving and Planning Open access

Association for Artificial Intelligence 2026, Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith

0

citations