Jianan Yao

2019

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Jianan Yao trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Leonardo de Moura

Papers from Jianan Yao's perspective

Ordered by how strongly the researchers Jianan Yao trusts endorse each paper. Same corpus, a different order for every researcher.

1. Automatic differentiation in PyTorch
2. Deep Learning
3. Multilayer feedforward networks are universal approximators
4. Learning a SAT Solver from Single-Bit Supervision
5. Learning Explanatory Rules from Noisy Data
6. Z3: An Efficient SMT Solver
7. Verdi: a framework for implementing and formally verifying distributed systems (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
8. A short introduction to probabilistic soft logic
9. Axiomatic Basis for Computer Programming
10. Long Short-Term Memory

Their papers

• CLN2INV: Learning Loop Invariants with Continuous Logic Networks (2019) — 74 citations