Ronghui Gu

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 Ronghui Gu trusts

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

1. Leonardo de Moura (in Program Analysis & Verification)

Papers from Ronghui Gu's perspective

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

1. Automatic differentiation in PyTorch
2. Deep Learning
3. Learning a SAT Solver from Single-Bit Supervision
4. Multilayer feedforward networks are universal approximators
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