1 citations · 1 across the 4 of their papers we have counts for
5 papers
Proof Perplexity: A Probabilistic Approach to Measuring non-triviality in Machine Generated Proofs
Madhuparna Das, Soumya Banerjee
In this article, we propose a benchmark to quantify the non-triviality and novelty of machine-generated mathematical proofs compared to existing literature. Our core methodology us…
Proceedings of 1st Workshop on Advancing Artificial Intelligence through Theory of Mind
Mouad Abrini, Omri Abend, Dina Acklin +105
This volume includes a selection of papers presented at the Workshop on Advancing Artificial Intelligence through Theory of Mind held at AAAI 2025 in Philadelphia US on 3rd March 2…
ADROIT: A Self-Supervised Framework for Learning Robust Representations for Active Learning
Soumya Banerjee, Vinay Kumar Verma
Active learning aims to select optimal samples for labeling, minimizing annotation costs. This paper introduces a unified representation learning framework tailored for active lear…
On the Ethical Considerations of Generative Agents
N'yoma Diamond, Soumya Banerjee
The Generative Agents framework recently developed by Park et al. has enabled numerous new technical solutions and problem-solving approaches. Academic and industrial interest in g…
VEXIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity
S. VenkataKeerthy, Soumya Banerjee, Sayan Dey +5
Binary similarity involves determining whether two binary programs exhibit similar functionality, often originating from the same source code. In this work, we propose VexIR2Vec, a…