38 citations
- Georgia Institute of TechnologyUS8 papers
- Leibniz University HannoverDE8 papers
- Max Planck Institute for Gravitational PhysicsDE8 papers
- National Institute for Subatomic PhysicsNL8 papers
- Rochester Institute of TechnologyUS8 papers
- University of BirminghamGB8 papers
- University of CambridgeGB8 papers
- University of LiègeBE8 papers
- University of Maryland, College ParkUS8 papers
- University of Naples Federico IIIT8 papers
- American UniversityUS7 papers
- Bard CollegeUS7 papers
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A*
Izack Cohen
Alignment-based conformance checking is the state-of-the-art approach for comparing observed process executions with normative process models. The standard exact solution relies on…
cs.AI2026
A Language for Describing Agentic LLM Contexts
Noga Peleg Pelc, Gal A. Kaminka, Yoav Goldberg
Large language models are increasingly used within larger systems ("LLM agents"). These make a sequence of LLM calls, each call providing the LLM with a combination of instructions…