Similar Items: Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
- Separation Logic for Verifying Physical Collisions of CNC Programs
- Dsat: A Native SAT Solver for Discrete Logic
- Set-like operations on propositional logic programs
- MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications