◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

O. Bastani

56 papers hereh-index 407.5k citations184 works total

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

author position
  • sole author1
  • middle author25
  • last author25

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

fields
  • cs.LG21
  • cs.PL7
  • cs.RO7
  • cs.AI6
  • stat.ML6
  • cs.CL4

identity via Semantic Scholar / OpenAlex

works on
autoformalization 1formal knowledge bases 1machine learning 1natural language processing 1theory formalization 1

From the 1 of 56 linked papers with an AI index.

activity
20242026
most citedOptimal Program Synthesis via Abstract Interpretation

6 citations · 17 across the 26 of their papers we have counts for

collaborators
Showing cs.CLShow all

3 papers · 1 filter

cs.CL2026★ 1 cited

Evaluating the Diversity and Quality of LLM Generated Content

Alexander Shypula, Shuo Li, Botong Zhang +3

Recent work suggests that preference-tuning techniques -- such as Reinforcement Learning from Human Feedback (RLHF) methods like PPO and GRPO, as well as alternatives like DPO -- r…

cs.CL2024

Uncertainty in Language Models: Assessment through Rank-Calibration

Xinmeng Huang, Shuo Li, Mengxin Yu +5

Language Models (LMs) have shown promising performance in natural language generation. However, as LMs often generate incorrect or hallucinated responses, it is crucial to correctl…

cs.CL2024

Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting

Halley Young, Yimeng Zeng, Jacob Gardner +1

The capability to generate diverse text is a key challenge facing large language models (LLMs). Thus far, diversity has been studied via metrics such as n-gram diversity or diver…

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