Unverified50% confidenceFactExact time
The evaluation logic of Terminal-Bench-Science is end-to-end, and its output results can be automatically verified.
1
Sources
50%
Confidence
Long-term
Relevance
9/12/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedA key principle of dry-run design is that the validation logic should share the same code path as the execution logic as much as possible, diverging only at the final step where side effects are produced; otherwise, subtle discrepancies between predicted and actual execution results will arise.72% similarUnverifiedThe Astra model formalized each result as a Lean proof certificate, allowing the underlying logic to be automatically verified by machine.70% similarUnverifiedEvaluation frameworks such as RAGAS and TruLens can automatically score the faithfulness of reasoning steps.70% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/912327API
curl https://kongchang.com/api/v1/knowledge/claims/912327MCP
get_claim(id=912327)