BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sheila A. McIlraith
SearchCollections
Map detail
Sheila A. McIlraith18 visible / 18 total nodes / 69 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onRelated contextWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onAuthorshipWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalRelated contextRelated contextSheila A. McIlraithASheila A. McIlraithResearcherFormal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI SystemsWFormal Methods Meet LLM...preprint / 2026Learning Bilevel Policies over Symbolic World Models for Long-Horizon PlanningWLearning Bilevel Polici...preprint / 2026Toryn Q. KlassenAToryn Q. KlassenResearcherTill HofmannATill HofmannResearcherParand A. AlamdariAParand A. AlamdariResearcherDillon Z. ChenADillon Z. ChenResearcherArtificial IntelligenceTArtificial Intelligence22915 workscs.CYTcs.CY4196 worksMachine LearningTMachine Learning49008 worksLogic in Computer ScienceTLogic in Computer Science2208 worksRoboticsTRobotics7585 worksTowards Neural-Guided Program Synthesis for Linear Temporal Logic SpecificationsWTowards Neural-Guided P...preprint / 2019Towards the Role of Theory of Mind in ExplanationWTowards the Role of The...preprint / 2020Learning Symbolic Representations for Reinforcement Learning of Non-Markovian BehaviorWLearning Symbolic Repre...preprint / 2023Reward Machines: Exploiting Reward Function Structure in Reinforcement LearningWReward Machines: Exploi...preprint / 2022Challenges to Solving Combinatorially Hard Long-Horizon Deep RL TasksWChallenges to Solving C...preprint / 2022Finite LTL Synthesis is EXPTIME-completeWFinite LTL Synthesis is...preprint / 2016
Person17 links

Sheila A. McIlraith

Researcher

PaperFormal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI SystemsAuthorship / preprint / 2026PaperLearning Bilevel Policies over Symbolic World Models for Long-Horizon PlanningAuthorship / preprint / 2026PersonToryn Q. KlassenCo-authorship / ResearcherPersonTill HofmannCo-authorship / ResearcherPersonParand A. AlamdariCo-authorship / ResearcherPersonDillon Z. ChenCo-authorship / ResearcherTopicArtificial IntelligenceWorks on / 22915 worksTopiccs.CYWorks on / 4196 works

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)