LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
SLIDES

Parameter Synthesis for Probabilistic Hyperproperties

Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe

Sensitivity Analysis of Locked Circuits

Joseph Sweeney, Marijn J. H. Heule and Lawrence Pileggi

Decision Levels Are Stable: Towards Better SAT Heuristics

Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras and Enric Rodríguez-Carbonell

Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic

Thibault Gauthier

Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Jarkko Savela, Emilia Oikarinen and Matti Järvisalo

Minimal Modifications of Deep Neural Networks Using Verification

Ben Goldberger, Guy Katz, Yossi Adi and Joseph Keshet

Polynomial Loops: Beyond Termination

Marcel Hark, Florian Frohn and Jürgen Giesl

Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard

Mnacho Echenim, Radu Iosif and Nicolas Peltier
Total: 8 presentations.