2 citations · 2 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning
Kaustuv Mukherji, Devendra Parkar, Lahari Pokala +3
Recent advances in reinforcement learning (RL) have shown much promise across a variety of applications. However, issues such as scalability, explainability, and Markovian assumpti…
cs.LO2023★ 2 cited
PyReason: Software for Open World Temporal Logic
Dyuman Aditya, Kaustuv Mukherji, Srikar Balasubramanian +2
The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic. We introduce PyReason, a software fra…