FormuLog: Datalog for static analysis involving logical formulae. - Aaron Bembenek; Stephen Chong (CoRR, 2018)

Going into Greater Depth in the Quest for Hidden Frames. - João Gonçalves; Aaron Bembenek; Pedro Martins 003; Amílcar Cardoso (ICCC, 2019)

Formulog: Datalog for SMT-Based Static Analysis (Extended Version). - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (CoRR, 2020)

Formulog: Datalog for SMT-based static analysis. - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (Proc. ACM Program. Lang., 2020)

Formulog: Datalog + SMT + FP. - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (Datalog, 2022)

From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems. - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (Proc. ACM Program. Lang., 2023)

Symbol Correctness in Deep Neural Networks Containing Symbolic Layers. - Aaron Bembenek; Toby Murray (CoRR, 2024)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version). - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (CoRR, 2024)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation. - Aaron Bembenek; Michael Greenberg 002; Stephen Chong (Proc. ACM Program. Lang., 2024)

Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc - and We Can Do Better. - Aaron Bembenek (CoRR, 2025)