Sajjad Khan

sajjadanwar0's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 2 papers 3 days ago

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers

Paper • 2608.03836 • Published 6 days ago • 1

Stop Means Stop: Measuring and Repairing the Enforcement Gap in Agent-Framework Control Primitives

Paper • 2607.14166 • Published 26 days ago

submitted a paper to Daily Papers 3 days ago

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers

Paper • 2608.03836 • Published 6 days ago • 1

updated a dataset about 1 month ago

sajjadanwar0/sbus-benchmarks

Viewer • Updated Jun 28 • 530 • 87 • 1

authored a paper about 2 months ago

Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems

Paper • 2606.17182 • Published Jun 15 • 1

submitted a paper to Daily Papers about 2 months ago

Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems

Paper • 2606.17182 • Published Jun 15 • 1

authored a paper 2 months ago

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

Paper • 2606.04056 • Published Jun 2

updated a dataset 2 months ago

sajjadanwar0/token-budgets-catalog

Viewer • Updated Jun 5 • 390 • 44

published a dataset 2 months ago

sajjadanwar0/token-budgets-catalog

Viewer • Updated Jun 5 • 390 • 44

updated a collection 2 months ago

Sajjad Collection

Collection

3 items • Updated Jun 5

submitted a paper to Daily Papers 2 months ago

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

Paper • 2606.04056 • Published Jun 2

liked a dataset 2 months ago

sajjadanwar0/sbus-benchmarks

Viewer • Updated Jun 28 • 530 • 87 • 1

published a dataset 2 months ago

sajjadanwar0/sbus-benchmarks

Viewer • Updated Jun 28 • 530 • 87 • 1

submitted a paper to Daily Papers 3 months ago

S-Bus: Automatic Read-Set Reconstruction for Multi-Agent LLM State Coordination

Paper • 2605.17076 • Published May 16 • 1

authored a paper 3 months ago

S-Bus: Automatic Read-Set Reconstruction for Multi-Agent LLM State Coordination

Paper • 2605.17076 • Published May 16 • 1

updated a collection 3 months ago

Sajjad Collection

Collection

3 items • Updated Jun 5