Graph explorer

Research map

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

André G. Pereira
Map detail
André G. Pereira8 visible / 8 total nodes / 21 links

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

Related contextCo-authorshipCo-authorshipCo-authorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAndré G. PereiraAAndré G. PereiraResearcherProperty-Guided LLM Program Synthesis for PlanningWProperty-Guided LLM Pro...preprint / 2026Jendrik SeippAJendrik SeippResearcherAugusto B. CorrêaAAugusto B. CorrêaResearcherArtificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksIterative Depth-First Search for Fully Observable Non-Deterministic PlanningWIterative Depth-First S...preprint / 2022Iterative Deployment Improves Planning Skills in LLMsWIterative Deployment Im...preprint / 2025
Person7 links

André G. Pereira

Researcher