From

Institution

Field

Type

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

Reset

Papers matching “differentiable programming” 12

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Differentiable Programming: Efficient Smoothing of Control-Flow-Induced Discontinuities
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Sebastian Christodoulou, Uwe Naumann

2

citations
Differentiable Scripting
2021 arXiv (Cornell University) preprint Computer Science Computational Physics and Python Applications Open access

Uwe Naumann

0

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations
Fast and General Automatic Differentiation for Finite-State Methods
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Lucas Ondel Yang, Tina Raissi, Martin Kocour, Pablo Riera, Caio Corro

0

citations
Differential Invariants
2021 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Uwe Naumann

0

citations
Gradient-Based Speech-to-Text Alignment for Any ASR Model: From CTC to Speech LLMs
2026 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Albert Zeyer, Ralf Schlüter, Hermann Ney

0

citations
Which Algorithms Can Graph Neural Networks Learn?
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Solveig Wittig, Antonis Vasileiou, Robert R. Nerem, Timo Stoll, Floris Geerts, Yusu Wang, +1 more

0

citations
pyFOOMB: Python Framework for Object Oriented Modelling of Bioprocesses
2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Modeling and Simulation Systems Open access

Johannes Hemmerich, Niklas Tenhaef, Wolfgang Wiechert, Stephan Noack

3

citations
Reduction of the Random Access Memory Size in Adjoint Algorithmic Differentiation by Overloading
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Uwe Naumann

0

citations
Matrix-Free Jacobian Chaining
2024 arXiv (Cornell University) preprint Computer Science Matrix Theory and Algorithms Open access

Uwe Naumann

0

citations
A Truly Sparse and General Implementation of Gradient-Based Synaptic Plasticity
2025 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Jamie Lohoff, Florian Assmuth, Emre Neftci

0

citations

12 results