Pith. sign in

REVIEW 1 cited by

Towards Verified Artificial Intelligence

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1606.08514 v4 pith:3Q327GUO submitted 2016-06-27 cs.AI

Sanjit A. Seshia , Dorsa Sadigh , S. Shankar Sastry This is my paper · ORCID
classification cs.AI
keywords verifiedartificialchallengesfiveintelligenceachievingaddressingai-based
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Verified artificial intelligence (AI) is the goal of designing AI-based systems that that have strong, ideally provable, assurances of correctness with respect to mathematically-specified requirements. This paper considers Verified AI from a formal methods perspective. We describe five challenges for achieving Verified AI, and five corresponding principles for addressing these challenges.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence

    cs.DC 2019-08 unverdicted

    A literature review comparing classical CPS analysis methods with AI and reinforcement learning perspectives, concluding that RL approaches are useful despite added uncertainty.

Pith tools