S. Akshay
4 papers · 2024–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(3)
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (2)
AAAI (1)
ICLR (1)
Top co-authors
Keywords
probabilistic inference
(1)
formal verification
(1)
markov decision process
(1)
probability distribution
(1)
linear programming
(1)
oracle complexity
(1)
sat solver
(1)
policy synthesis
(1)
weighted model integration
(1)
semi-algebraic function
(1)
real algebraic geometry
(1)
complexity theory
(1)
model counting
(1)
robot swarm
(1)
approximate algorithm
(1)
boolean formula
(1)
Papers
Sensitivity Verification for Additive Decision Tree Ensembles
ICLR 2025
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
IJCAI 2025
Auditable Algorithms for Approximate Model Counting
AAAI 2024
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
IJCAI 2024