Multiple-choice queries synthesized from Hoare triples enable more reliable identification of intended programs than labeled-example supervision in active learning for program disambiguation.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
Schemex is an interactive three-stage AI workflow for schema induction that user studies show produces more actionable schemas than a frontier baseline without loss of generalizability.
Presents GIM model with conductance and influence-capital mechanisms that outperforms baselines, corrects follower-count bias, and finds non-experts exert higher influence than experts on COVID-19 Twitter with higher misinformation spread.
citing papers explorer
-
Conductance and Influence-Capital: Modeling Online Social Influence
Presents GIM model with conductance and influence-capital mechanisms that outperforms baselines, corrects follower-count bias, and finds non-experts exert higher influence than experts on COVID-19 Twitter with higher misinformation spread.