Paul Krogmeier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2020–2022
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | IJCAI | Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. | Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan |
| 2020 | CAV | Decidable Synthesis of Programs with Uninterpreted Functions. | Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan |