Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Capturing the global structure of logical formulae with graph long short-term memory

Capturing the global structure of logical formulae with graph long short-term memory

US Patent 11741375 · Granted Aug 29, 2023

Estimated economic value: $6,011,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Bottom-up neural semantic parser2025
Bottom-up neural semantic parser2025
Method and system for automating scenario planning2025
Christmas light set2025
Christmas light2025
Performing code completion using data flow2025
Performing code completion using data flow2025
Search using an overlay graph mapping to source knowledge graphs2025
Querying knowledge graphs with sub-graph matching networks2025
System and method for validating product photography2025
Tree shaped lighting decoration2025
Testing adversarial robustness of systems with limited access2024