◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Adithya Murali

15 papers hereh-index 8714 citations29 works total

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

author position
  • first author5
  • middle author5
  • last author5

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

fields
  • cs.LO5
  • cs.PL5
  • cs.LG2
  • cs.SE2
  • cs.AI1
same name
  • Adithya Murali — 2 papers, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20192026
most citedModel-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints

11 citations · 33 across the 14 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Imprompt: A Language Framework for Prompt Programming

Chentian Wu, Shengyuan Yang, Adithya Murali

With the unprecedented success of Language Models (LMs), the science of Prompt Engineering has evolved the powerful idea of Prompt Programming, where prompts are treated as a progr…

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