Prakash Panangaden
McGill University
H-index: 49
North America-Canada
Top articles of Prakash Panangaden
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Polynomial Lawvere Logic | arXiv preprint arXiv:2402.03543 | Giorgio Bacci Radu Mardare Prakash Panangaden Gordon Plotkin | 2024/2/5 |
Policy Gradient Methods in the Presence of Symmetries and State Abstractions | Journal of Machine Learning Research | Prakash Panangaden Sahand Rezaei-Shoshtari Rosie Zhao David Meger Doina Precup | 2024 |
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies | Jonathan Colaço Carr Prakash Panangaden Doina Precup | 2024/4/18 | |
A kernel perspective on behavioural metrics for markov decision processes | arXiv preprint arXiv:2310.19804 | Pablo Samuel Castro Tyler Kastner Prakash Panangaden Mark Rowland | 2023/10/5 |
Behavioural equivalences for continuous-time Markov processes | Mathematical Structures in Computer Science | Linan Chen Florence Clerc Prakash Panangaden | 2023/4 |
Proceedings of the Twentieth International Conference on Quantum Physics and Logic | arXiv preprint arXiv:2308.15489 | Shane Mansfield Benoit Valîron Vladimir Zamdzhiev | 2023/8/23 |
Behavioural pseudometrics for continuous-time diffusions | arXiv preprint arXiv:2312.16729 | Linan Chen Florence Clerc Prakash Panangaden | 2023/12/27 |
Structure in Machine Learning | Prakash Panangaden | 2023/8/2 | |
Propositional logics for the Lawvere quantale | Electronic Notes in Theoretical Informatics and Computer Science | Giorgio Bacci Radu Mardare Prakash Panangaden Gordon Plotkin | 2023/11/23 |
Minimisation in logical form | Nick Bezhanishvili Marcello M Bonsangue Helle Hvid Hansen Dexter Kozen Clemens Kupke | 2023/8/2 | |
A categorical characterization of relative entropy on standard Borel spaces | Logical Methods in Computer Science | Nicolas Gagné Prakash Panangaden | 2023/11/9 |
Optimal Approximate Minimization of One-Letter Weighted Finite Automata | arXiv preprint arXiv:2306.00135 | Clara Lacroce Borja Balle Prakash Panangaden Guillaume Rabusseau | 2023/5/31 |
Towards an AAK theory approach to approximate minimization in the multi-letter case | arXiv preprint arXiv:2206.00172 | Clara Lacroce Prakash Panangaden Guillaume Rabusseau | 2022/6/1 |
Bisimulation metrics and norms for real-weighted automata | Information and Computation | Borja Balle Pascale Gourdeau Prakash Panangaden | 2022/1/1 |
Sum and Tensor of Quantitative Effects | arXiv preprint arXiv:2212.11784 | Giorgio Bacci Radu Mardare Prakash Panangaden Gordon Plotkin | 2022/12/22 |
Continuous mdp homomorphisms and homomorphic policy gradient | Advances in Neural Information Processing Systems | Sahand Rezaei-Shoshtari Rosie Zhao Prakash Panangaden David Meger Doina Precup | 2022/12/6 |
Riemannian diffusion models | Advances in Neural Information Processing Systems | Chin-Wei Huang Milad Aghajohari Joey Bose Prakash Panangaden Aaron C Courville | 2022/12/6 |
Augmenting human selves through artificial agents–Lessons from the brain | Frontiers in Computational Neuroscience | Georg Northoff Maia Fraser John Griffiths Dimitris A Pinotsis Prakash Panangaden | 2022/6/23 |
Ackermann Award 2020 | 29th EACSL Annual Conference on Computer Science Logic | Mikołaj Bojańczyk Prakash Panangaden Thomas Schwentick | 2021/1 |
Tensor of quantitative equational theories | Giorgio Bacci Radu Mardare Prakash Panangaden Gordon D Plotkin | 2021/9/3 |