◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Portugal

24 papers here231 citations across 24
fields
  • cs.AR3
  • cs.DC2
  • cs.LO2
  • astro-ph.GA1
  • astro-ph.HE1
  • cond-mat.mtrl-sci1
  • cs.AI1
  • cs.DB1
ROR 04mqy3p58OpenAlex

affiliations via OpenAlex

most citedSolving QBF with Counterexample Guided Refinement

150 citations

researchers with a paper here
  • Aleksandar Ilic3 · h 18
  • Leonel Sousa3 · h 3
  • António Grilo2 profiles2 · h 4
  • Joao Marques-Silva2 · h 59
  • Miguel Couceiro2 profiles2 · h 2
  • Mikoláš Janota2 · h 27
  • A. Grinshpun1 · h 1
  • A. Moreno1 · h 2
  • Andrea Bocco1 · h 6
  • Andrea Cimarelli Dief1 · h 0
  • André Ribeiro1 · h 2
  • Ângelo Gabriel Teixeira da Costa1 · h 1
collaborating institutions
  • University of LisbonPT9 papers
  • Carnegie Mellon UniversityUS3 papers
  • Universidad Complutense de MadridES2 papers
  • University College DublinIE2 papers
  • Barcelona Supercomputing CenterES1 paper
  • CEA GrenobleFR1 paper
  • Center for Theoretical PhysicsPL1 paper
  • Centre National de la Recherche ScientifiqueFR1 paper
  • Chalmers University of TechnologySE1 paper
  • Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
  • Engineering Associates (United States)US1 paper
  • ETH ZurichCH1 paper
Showing cs.IRShow all

1 paper · 1 filter

cs.IR2026

Agentic Search in the Wild: Intents and Trajectory Dynamics from 14M+ Real Search Requests

Jingjie Ning, João Coelho, Yibo Kong +5

LLM-powered search agents are increasingly being used for multi-step information seeking tasks, yet the IR community lacks empirical understanding of how agentic search sessions un…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.