Sajjad Khan

Sajjad Khan on Hugging Face Daily Papers: 4 papers, 0 in the top 3 of their day, 3 upvotes.

1. Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers 4 upvotes, #31 of 2026-08-06
2. Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems 1 upvotes, #30 of 2026-06-17
3. Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study 0 upvotes, #50 of 2026-06-04
4. S-Bus: Automatic Read-Set Reconstruction for Multi-Agent LLM State Coordination 1 upvotes, #51 of 2026-05-20

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.