30 citations · 233 across the 58 of their papers we have counts for
3 papers · 2 filters
LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
Navapat Nananukul, Yue Zhang, Ryan Lee +5
High-assurance reasoning, particularly in critical domains such as law and medicine, requires conclusions that are accurate, verifiable, and explicitly grounded in evidence. This r…
Generating Novelty in Open-World Multi-Agent Strategic Board Games
Mayank Kejriwal, Shilpa Thomas
We describe GNOME (Generating Novelty in Open-world Multi-agent Environments), an experimental platform that is designed to test the effectiveness of multi-agent AI systems when fa…
Code-Driven Planning in Grid Worlds with Large Language Models
Ashwath Vaithinathan Aravindan, Zhisheng Tang, Mayank Kejriwal
We propose an iterative programmatic planning (IPP) framework for solving grid-based tasks by synthesizing interpretable agent policies expressed in code using large language model…