S. Akshay
4 papers
· 2024–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)