3 papers
cs.CL2025
Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
Aheli Poddar, Saptarshi Sahoo, Sujata Ghosh
We study syllogistic reasoning in LLMs from the logical and natural language perspectives. In process, we explore fundamental reasoning capabilities of the LLMs and the direction t…
cs.LO2025
Are Large Random Graphs Always Safe to Hide?
Sourav Chakraborty, Sujata Ghosh, Smiha Samanta
We discuss winning possibilities of players in various variants of cops and robber game played on large random graphs, a testbed for various kinds of network queries, search proble…
cs.AI2025
Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
Logics for reasoning about knowledge and actions have seen many applications in various domains of multi-agent systems, including epistemic planning. Change of knowledge based on o…