S. Akshay

4 papers · 2024–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10)

Venues

IJCAI (2) AAAI (1) ICLR (1)

Top co-authors

Đorđe Žikelić (2) Supratik Chakraborty (2) Arhaan Ahmad (1) Ashutosh Gupta (1) Tanay Vineet Tayal (1) Kuldeep S. Meel (1) Krishnendu Chatterjee (1) Soroush Farokhnia (1) Tobias Meggendorfer (1) Harshit Jitendra Motwani (1)

Research topics

Artificial Intelligence (3) Machine Learning (2) Mathematics & Optimization (2) Core AI (2) Optimization (2) Optimization & Theory (2) Computer Science (1) Application Areas (1) Bayesian & Probabilistic (1) Foundations (1) Mathematics (1)

Keywords

probabilistic inference (1) formal verification (1) markov decision process (1) probability distribution (1) linear programming (1) oracle complexity (1) feature sensitivity (1) sat solver (1) policy synthesis (1) robustness verification (1) weighted model integration (1) semi-algebraic function (1) real algebraic geometry (1) complexity theory (1) model counting (1) decision tree ensemble (1) model explainability (1) robot swarm (1) approximate algorithm (1) boolean formula (1)

Papers

LP-Based Weighted Model Integration over Non-Linear Real Arithmetic IJCAI 2025 Sensitivity Verification for Additive Decision Tree Ensembles ICLR 2025 Auditable Algorithms for Approximate Model Counting AAAI 2024 Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties IJCAI 2024