Attested.to

Attestation № 6jQKHGxl

Add condition on "Computer science provides formal and ..." (Science)

Attestation · Add Succeeded

Computer science provides formal and empirical methods for predicting and verifying the behavior of automated systems.

Condition in Science · target verdict: Affirmed

Formula:

TRUE
Resolution

Succeeded · September 14, 2026 21:43

100% for change / 0% for status quo

1 participants

Trust score · 75

Thresholds
Min stake pool
5.0
Margin
0.66
Min distinct participants
1
Min open duration
1 day
Time cap
1 week