Picture for S. Akshay

S. Akshay

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties

Add code
May 07, 2024
Viaarxiv icon

Auditable Algorithms for Approximate Model Counting

Add code
Dec 19, 2023
Viaarxiv icon

Synthesizing Pareto-Optimal Interpretations for Black-Box Models

Add code
Aug 16, 2021
Figure 1 for Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Figure 2 for Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Figure 3 for Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Figure 4 for Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Viaarxiv icon

A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis

Add code
Apr 29, 2021
Figure 1 for A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
Figure 2 for A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
Viaarxiv icon

Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice

Add code
Apr 30, 2020
Figure 1 for Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
Figure 2 for Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
Figure 3 for Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
Viaarxiv icon