3 citations · 3 across the 3 of their papers we have counts for
3 papers
Learning Red Agent Policy from Observations for Neurosymbolic Autonomous Cyber Agents
Ankita Samaddar, Sandeep Neema, Daniel Balasubramanian +1
With sophisticated cyber-attacks becoming increasingly prevalent, modern networks require intelligent autonomous cyber-defense agents trained via Reinforcement Learning (RL). These…
On the Evaluation of Engineering Artificial General Intelligence
Sandeep Neema, Susmit Jha, Adam Nagel +6
We discuss the challenges and propose a framework for evaluating engineering artificial general intelligence (eAGI) agents. We consider eAGI as a specialization of artificial gener…
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln +4
Generative large language models (LLMs) with instruct training such as GPT-4 can follow human-provided instruction prompts and generate human-like responses to these prompts. Apart…