Ayumu Saito
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | WACV | Point-JEPA: A Joint Embedding Predictive Architecture for Self-Supervised Learning on Point Cloud. | Ayumu Saito, Prachi Kudeshia, Jiju Poovvancheri |
| 2023 | APLAS | Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq. | Ayumu Saito, Reynald Affeldt |
| 2023 | CPP | Semantics of Probabilistic Programs using s-Finite Kernels in Coq. | Reynald Affeldt, Cyril Cohen, Ayumu Saito |
| 2022 | MPC | Towards a Practical Library for Monadic Equational Reasoning in Coq. | Ayumu Saito, Reynald Affeldt |