Karan Samel — accepted AI-conference papers

2021

ProTo: Program-Guided Transformer for Program-Guided Tasks

Zelin Zhao, Karan Samel, Binghong Chen, Le Song

NeurIPS 2021poster

Programs, consisting of semantic and structural information, play an important role in the communication between humans and agents. Towards learning general program executors to unify perception, reasoning, and decision making, we formulate program-guided tasks which require learning to execute a gi…

Cited by 39 Source ↗PDF ↗code ↗Scholar ↗

2021

Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning

Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song +1

NeurIPS 2021poster

Deep learning and symbolic reasoning are complementary techniques for an intelligent system. However, principled combinations of these techniques have limited scalability, rendering them ill-suited for real-world applications. We propose Scallop, a system that builds upon probabilistic deductive dat…

Cited by 87 Source ↗PDF ↗Scholar ↗