Yisu Remy Wang

Artificial Intelligence · 2020

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

Subfields

• Artificial Intelligence — 8 citations into it
• Computational Theory and Mathematics — 6 citations into it

Whom Yisu Remy Wang trusts overall

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

1. Leonardo de Moura

Papers from Yisu Remy Wang's perspective

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

1. Simplify: a theorem prover for program checking (JACM)
2. Efficient E-Matching for SMT Solvers (CADE)
3. Equality saturation: a new approach to optimization
4. Superoptimizer: a look at the smallest program
5. Semantic code search via equational reasoning
6. Z3: An Efficient SMT Solver
7. Automatically improving accuracy for floating point expressions
8. TASO: optimizing deep learning computation with automatic generation of graph substitutions (Symposium on Operating Systems Principles)
9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers

• egg: Fast and extensible equality saturation (2020) — 295 citations