Jonathan Laurent
2 papers
· 2018–2022
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
causal inference
(1)
reinforcement learning
(1)
causal reasoning
(1)
stochastic process
(1)
automated theorem proving
(1)
causal explanation
(1)
rule-based model
(1)
search strategy
(1)
loop invariant
(1)
counterfactual analysis
(1)
neural network
(1)
molecular biology
(1)
loop invariant synthesis
(1)
counterfactual resimulation
(1)