Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Program synthesis with existentially and universally quantified belief propagation using probabilistic inference

Program synthesis with existentially and universally quantified belief propagation using probabilistic inference

US Patent 8825572 · Granted Sep 2, 2014

Estimated economic value: $31,345,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Program improvement using large language models2025
Language-agnostic computer program repair engine generator2025
String data error detection and repair2025
Neural trees2024
Synthesizing programs in a spreadsheet programming language2024
Generating reports from scanned images2024
Edit automation using an anchor target list2024
Multi-modal program inference2024
Automatic splitting of a column into multiple columns2024
Edit automation using a temporal edit pattern2024
Protecting machine learning models from privacy attacks2023
Neural trees2023