Jonathan Laurent
2 papers · 2018–2022 · 2 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
🐣
Hot Topic Early Bird
🧭
Keyword Pioneer
Venues
Top co-authors
Research topics
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)