Dominik Wagner

According to our database, Dominik Wagner authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards.

Xuan-Bach Le, Dominik Wagner, Leon Witzman, Alexander Rabinovich, Luke Ong

CoRR, 2024

Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing.

Dominik Wagner, Basim Khajwal, Luke Ong

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

2023

Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing.

Basim Khajwal, C.-H. Luke Ong, Dominik Wagner

Proceedings of the Programming Languages and Systems, 2023

2021

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.

Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere.

Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner

Proceedings of the Programming Languages and Systems, 2021

2019

HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories.

C.-H. Luke Ong, Dominik Wagner

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019