◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

R. Alur

40 papers hereh-index 8643.9k citations353 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author21
  • middle author10
  • last author8

Across the 39 of 40 papers where every author was matched, so the position is known.

fields
  • cs.FL9
  • cs.LG8
  • cs.PL6
  • cs.LO4
  • cs.SE3
  • eess.SY3

identity via Semantic Scholar / OpenAlex

activity
20082025
most citedFirst-Order and Temporal Logics for Nested Words

100 citations · 314 across the 34 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.AI2024★ 6 cited

Relational Programming with Foundation Models

Ziyang Li, Jiani Huang, Jason Liu +6

Foundation models have vast potential to enable diverse AI applications. The powerful yet incomplete nature of these models has spurred a wide range of mechanisms to augment them w…

cs.LG2024

Data-Efficient Learning with Neural Programs

Alaia Solko-Breslin, Seewon Choi, Ziyang Li +4

Many computational tasks can be naturally expressed as a composition of a DNN followed by a program written in a traditional programming language or an API call to an LLM. We call…

◍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.