Michael Greenberg personal blog
Formulog: ML + Datalog + SMT
If you read a description of a static analysis in a paper, what might you find? There’ll be some cute model of a language. Maybe some inference rules describing the analysis itself, but those rules probably rely on a variety of helper functions. These days, the analysis likely involves some logical reasoning: about…
- Points
- 129
- HN comments
- 21
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringAI & Machine Learning2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 8, 2020 | Formulog: ML + Datalog + SMT by matt_d | 129 | 21 |
