Hacker News
- Automated Reasoning at Amazon: A Conversation https://www.amazon.science/blog/automated-reasoning-at-federated-logic-conference-floc 11 comments
Linking pages
- How we built Cedar with automated reasoning and differential testing - Amazon Science https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing 1 comment
- Amazon Scholar solves century-old problem with automated reasoning - Amazon Science https://www.amazon.science/blog/amazon-scholar-solves-century-old-problem-with-automated-reasoning 0 comments
Linked pages
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- How automated reasoning improves the Prime Video experience - Amazon Science https://www.amazon.science/blog/how-automated-reasoning-improves-the-prime-video-experience 1 comment
- How to integrate formal proofs into software development - Amazon Science https://www.amazon.science/blog/how-to-integrate-formal-proofs-into-software-development 0 comments
- Calculating the differential cost of code changes - Amazon Science https://www.amazon.science/blog/calculating-the-differential-cost-of-code-changes 0 comments
- [2105.14697] An Automated Approach to the Collatz Conjecture https://arxiv.org/abs/2105.14697 0 comments
Related searches:
Search whole site: site:amazon.science
Search title: Automated reasoning at Amazon: a conversation - Amazon Science
See how to search.