LogicHunter combines specification-driven test generation with a ReAct-based agentic oracle to discover 40 previously unknown bugs in LangChain, LlamaIndex, and CrewAI, achieving 91.17% oracle precision.
2022.LlamaIndex
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
Ex2Bundle synthesizes package queries from example bundles using aggregate constraints and applies data-aware relaxation when constraints are infeasible, shown on focused text snippet extraction.
citing papers explorer
-
LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle
LogicHunter combines specification-driven test generation with a ReAct-based agentic oracle to discover 40 previously unknown bugs in LangChain, LlamaIndex, and CrewAI, achieving 91.17% oracle precision.
-
Example-Driven Intent Synthesis for Constrained Data Bundle Retrieval: Focused Text Snippet Extraction and Beyond
Ex2Bundle synthesizes package queries from example bundles using aggregate constraints and applies data-aware relaxation when constraints are infeasible, shown on focused text snippet extraction.