Leonardo de Moura

Artificial Intelligence · 2006–2021

A researcher in the Science corpus: 8 papers; trusts 28 researchers and is trusted by 141 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 30 citations into it; #2,006 of 35,345 by trust here, #4,627 by citations
• Computational Theory and Mathematics — 22 citations into it; #174 of 12,182 by trust here, #501 by citations
• Software — 11 citations into it; #89 of 1,227 by trust here, #345 by citations
• Computer Networks and Communications — 9 citations into it; #7,196 of 9,886 by trust here, #2,242 by citations

Whom Leonardo de Moura trusts overall

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

1. Greg Nelson
2. David Detlefs
3. Bruno Dutertre
4. The mathlib Community
5. Mike Barnett
6. Thomas Ball
7. The Univalent Foundations Program
8. Robert Nieuwenhuis
9. Alexander Schrijver
10. Christopher W. Brown

Who trusts Leonardo de Moura overall

1. Tim King
2. The mathlib Community
3. Clark W. Barrett
4. Swarat Chaudhuri
5. Haniel Barbosa
6. Yuhuai Wu
7. Mostafa Hassan
8. Kaiyu Yang
9. Bernd Finkbeiner
10. Max Willsey

Papers from Leonardo de Moura's perspective

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

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
3. Long Short-Term Memory
4. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
5. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
6. Layer Normalization
7. Efficient E-Matching for SMT Solvers (CADE)
8. The Graph Neural Network Model
9. Theory of linear and integer programming
10. The SLAM project: debugging system software via static analysis

Their papers

• The Lean Theorem Prover (System Description) (2015) — 733 citations
• Z3: An Efficient SMT Solver (2008) — 8,862 citations
• Learning a SAT Solver from Single-Bit Supervision (2018) — 517 citations
• A Fast Linear-Arithmetic Solver for DPLL(T) (2006) — 774 citations
• Efficient E-Matching for SMT Solvers (2007) — 329 citations
• The Lean 4 Theorem Prover and Programming Language (2021) — 724 citations
• Solving non-linear arithmetic (2012) — 324 citations
• The YICES SMT Solver (2006) — 727 citations